contrib/revsetbenchmarks.py
changeset 21286 f0f810096842
parent 21202 c04e5e937139
child 21287 2d93b74335a2
--- a/contrib/revsetbenchmarks.py	Tue Apr 29 19:15:36 2014 -0700
+++ b/contrib/revsetbenchmarks.py	Fri Apr 25 13:35:31 2014 -0700
@@ -66,6 +66,10 @@
 
 
 
+if len(sys.argv) < 2:
+    print >> sys.stderr, 'usage: %s <revs> [file]' % sys.argv[0]
+    sys.exit(255)
+
 target_rev = sys.argv[1]
 
 revsetsfile = sys.stdin