provide a default jobfilename if a jobname is given

--HG--
extra : convert_revision : c5659b9675ccd2ba71f5ffa38aff5d397d6ed1c3
This commit is contained in:
Nathan Binkert 2005-10-19 02:04:03 -04:00
parent 1e47bb18b5
commit 12049dc052

Diff content is not available