Set the proper job name for statistics if we're using a JOBNAME
authorNathan Binkert <binkertn@umich.edu>
Mon, 21 Feb 2005 23:06:09 +0000 (18:06 -0500)
committerNathan Binkert <binkertn@umich.edu>
Mon, 21 Feb 2005 23:06:09 +0000 (18:06 -0500)
and JOBFILE

--HG--
extra : convert_revision : 44253a39f40efcbbcda226701b0e97d8ea46cf1e


No differences found