provide a default jobfilename if a jobname is given
authorNathan Binkert <binkertn@umich.edu>
Wed, 19 Oct 2005 06:04:03 +0000 (02:04 -0400)
committerNathan Binkert <binkertn@umich.edu>
Wed, 19 Oct 2005 06:04:03 +0000 (02:04 -0400)
--HG--
extra : convert_revision : c5659b9675ccd2ba71f5ffa38aff5d397d6ed1c3


No differences found