Fork us on GitHub Follow us on Facebook Follow us on Twitter

Changeset 827d73f in mainline for tools/jobfile.py


Ignore:
Timestamp:
2010-02-12T14:09:22Z (12 years ago)
Author:
Lukas Mejdrech <lukasmejdrech@…>
Branches:
lfn, master
Children:
a70bda4
Parents:
918e9910 (diff), e70edd1 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

Merged the actual head

File:
1 edited

Legend:

Unmodified
Added
Removed
  • tools/jobfile.py

    r918e9910 r827d73f  
    2828#
    2929"""
    30 Add a source/object file pair to a Stanse jobfile
     30Add a source/object file pair to a checker jobfile
    3131"""
    3232
     
    3737def usage(prname):
    3838        "Print usage syntax"
    39         print prname + " <JOBFILE> <SOURCE> <OBJECT> [OPTIONS ...]"
     39        print prname + " <JOBFILE> <SOURCE> <TARGET> <TOOL> <CATEGORY> [OPTIONS ...]"
    4040
    4141def main():
    42         if (len(sys.argv) < 4):
     42        if (len(sys.argv) < 6):
    4343                usage(sys.argv[0])
    4444                return
     
    4646        jobfname = sys.argv[1]
    4747        srcfname = sys.argv[2]
    48         objfname = sys.argv[3]
     48        tgtfname = sys.argv[3]
     49        toolname = sys.argv[4]
     50        category = sys.argv[5]
    4951        cwd = os.getcwd()
    50         options = " ".join(sys.argv[4:])
     52        options = " ".join(sys.argv[6:])
    5153       
    5254        jobfile = file(jobfname, "a")
    5355        fcntl.lockf(jobfile, fcntl.LOCK_EX)
    54         jobfile.write("{%s},{%s},{%s},{%s}\n" % (srcfname, objfname, cwd, options))
     56        jobfile.write("{%s},{%s},{%s},{%s},{%s},{%s}\n" % (srcfname, tgtfname, toolname, category, cwd, options))
    5557        fcntl.lockf(jobfile, fcntl.LOCK_UN)
    5658        jobfile.close()
Note: See TracChangeset for help on using the changeset viewer.