Changes in tools/jobfile.py [a5a8ca7:8786aa5] in mainline

File:

• tools/jobfile.py (modified) (3 diffs)

tools/jobfile.py

@@ -28 +28 @@
 #
 """
-Add a source/object file pair to a Stanse jobfile
+Add a source/object file pair to a checker jobfile
 """
 
@@ -37 +37 @@
 def usage(prname):
         "Print usage syntax"
-        print prname + " <JOBFILE> <SOURCE> <OBJECT> [OPTIONS ...]"
+        print prname + " <JOBFILE> <SOURCE> <TARGET> <TOOL> <CATEGORY> [OPTIONS ...]"
 
 def main():
-        if (len(sys.argv) < 4):
+        if (len(sys.argv) < 6):
                 usage(sys.argv[0])
                 return
@@ -46 +46 @@
         jobfname = sys.argv[1]
         srcfname = sys.argv[2]
-        objfname = sys.argv[3]
+        tgtfname = sys.argv[3]
+        toolname = sys.argv[4]
+        category = sys.argv[5]
         cwd = os.getcwd()
-        options = " ".join(sys.argv[4:])
+        options = " ".join(sys.argv[6:])
         
         jobfile = file(jobfname, "a")
         fcntl.lockf(jobfile, fcntl.LOCK_EX)
-        jobfile.write("{%s},{%s},{%s},{%s}\n" % (srcfname, objfname, cwd, options))
+        jobfile.write("{%s},{%s},{%s},{%s},{%s},{%s}\n" % (srcfname, tgtfname, toolname, category, cwd, options))
         fcntl.lockf(jobfile, fcntl.LOCK_UN)
         jobfile.close()