commit 57b52798e2d8de6c06c90e980c879a9301af0856
author Wenzel Jakob <wenzel.jakob@epfl.ch> Sat Feb 20 21:19:30 2016 +0100
committer Wenzel Jakob <wenzel.jakob@epfl.ch> Sat Feb 20 21:19:30 2016 +0100
tree 9a9d4e02989d7276f139728c1035eed852c7b321
parent 240e4044aad8c23b31ab8ebe5326ca7d8b9df333

fixed run_test script

example/run_test.py

diff --git a/example/run_test.py b/example/run_test.py
index 883d54e..d0967c6 100755
--- a/example/run_test.py
+++ b/example/run_test.py
@@ -47,10 +47,11 @@
     os.chdir(path)
 
 if len(sys.argv) < 2:
-    print("Syntax: %s <example> [--relaxed]" % sys.argv[0])
+    print("Syntax: %s [--relaxed] <test name>" % sys.argv[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
 
 name = sys.argv[1]