projects / gem5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cc60bc4) | patch
make it possible to add filters for job names so that
authorNathan Binkert <binkertn@umich.edu>
Thu, 23 Feb 2006 05:20:32 +0000 (00:20 -0500)
committerNathan Binkert <binkertn@umich.edu>
Thu, 23 Feb 2006 05:20:32 +0000 (00:20 -0500)
commit35094fb0fe7113be4d2faa88beb505d3e9155a77
tree3b7db7d03d355a693ca02e6ffc4286b494e2aa28tree
parentcc60bc49e6b448f9119b2195d393cd50ffeb90cbcommit | diff
make it possible to add filters for job names so that
parts of the full crossproduct of jobs can be ignored.

--HG--
extra : convert_revision : c44b3daea0cf4b487b1d99eae92da16573b15930
util/pbs/jobfile.py diff | blob | history