Commit 57b52798 by Wenzel Jakob

fixed run_test script

parent 240e4044
...@@ -47,10 +47,11 @@ if path != '': ...@@ -47,10 +47,11 @@ if path != '':
os.chdir(path) os.chdir(path)
if len(sys.argv) < 2: if len(sys.argv) < 2:
print("Syntax: %s <example> [--relaxed]" % sys.argv[0]) print("Syntax: %s [--relaxed] <test name>" % sys.argv[0])
exit(0) exit(0)
if len(sys.argv) == 3 and sys.argv[2] == '--relaxed': if len(sys.argv) == 3 and sys.argv[1] == '--relaxed':
del sys.argv[1]
relaxed = True relaxed = True
name = sys.argv[1] name = sys.argv[1]
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment