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)
commit12049dc052513b1ad90bb7d51e113b527ad0ae18
treed373d75fec9ef2f9aec3d93ac5b98ec0475d0f5a
parent1e47bb18b58e680fb7997b24c8b7fe08300c7f90
provide a default jobfilename if a jobname is given

--HG--
extra : convert_revision : c5659b9675ccd2ba71f5ffa38aff5d397d6ed1c3