contrib/revsetbenchmarks.py
changeset 21286 f0f810096842
parent 21202 c04e5e937139
child 21287 2d93b74335a2
equal deleted inserted replaced
21285:7078ce067367 21286:f0f810096842
    64         sys.exit(exc.returncode)
    64         sys.exit(exc.returncode)
    65     return [r for r in out.split() if r]
    65     return [r for r in out.split() if r]
    66 
    66 
    67 
    67 
    68 
    68 
       
    69 if len(sys.argv) < 2:
       
    70     print >> sys.stderr, 'usage: %s <revs> [file]' % sys.argv[0]
       
    71     sys.exit(255)
       
    72 
    69 target_rev = sys.argv[1]
    73 target_rev = sys.argv[1]
    70 
    74 
    71 revsetsfile = sys.stdin
    75 revsetsfile = sys.stdin
    72 if len(sys.argv) > 2:
    76 if len(sys.argv) > 2:
    73     revsetsfile = open(sys.argv[2])
    77     revsetsfile = open(sys.argv[2])