diff options
author | Ali Saidi <saidi@eecs.umich.edu> | 2005-03-09 15:56:29 -0500 |
---|---|---|
committer | Ali Saidi <saidi@eecs.umich.edu> | 2005-03-09 15:56:29 -0500 |
commit | 28976656858f59dd52c3d9291c167264989f944c (patch) | |
tree | f9392b69a7dbf213f76538b2a1984c90b1b001c7 /util/pbs/jobfile.py | |
parent | 707a5ca06b59760cdf3c93e3c74bffb3c55df75b (diff) | |
parent | 7d91bda6bfba1bd0cf49ff7ff20373b5d44df87a (diff) | |
download | gem5-28976656858f59dd52c3d9291c167264989f944c.tar.xz |
Merge zizzer:/bk/m5 into zeep.eecs.umich.edu:/z/saidi/work/m5
--HG--
extra : convert_revision : a61ddd67647fc6a6e8e12d918cc71ae9da69f869
Diffstat (limited to 'util/pbs/jobfile.py')
-rw-r--r-- | util/pbs/jobfile.py | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/util/pbs/jobfile.py b/util/pbs/jobfile.py index 570faa61b..83eb81358 100644 --- a/util/pbs/jobfile.py +++ b/util/pbs/jobfile.py @@ -26,7 +26,9 @@ # # Authors: Nathan Binkert -from os.path import expanduser +from os.path import expanduser, isfile, join as joinpath +import sys + def crossproduct(options): number = len(options) indexes = [ 0 ] * number @@ -49,9 +51,16 @@ def crossproduct(options): done = next() class JobFile(object): - def __init__(self, file): + def __init__(self, jfile): self.data = {} - execfile(expanduser(file), self.data) + jfile = expanduser(jfile) + if not isfile(jfile): + for p in sys.path: + if isfile(joinpath(p, jfile)): + jfile = joinpath(p, jfile) + break + + execfile(jfile, self.data) self.options = self.data['options'] self.environment = self.data['environment'] self.jobinfo = {} |