Index: tools/jobfile.py
===================================================================
--- tools/jobfile.py	(revision a5a8ca7bfc9bf13052b7cd55872acf3123bb5c4f)
+++ tools/jobfile.py	(revision fccc236e065c7c50c0e3e9c08bc5f32b61c815a1)
@@ -28,5 +28,5 @@
 #
 """
-Add a source/object file pair to a Stanse jobfile
+Add a source/object file pair to a checker jobfile
 """
 
@@ -37,8 +37,8 @@
 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,11 +46,13 @@
 	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()