From 57b52798e2d8de6c06c90e980c879a9301af0856 Mon Sep 17 00:00:00 2001
From: Wenzel Jakob <wenzel.jakob@epfl.ch>
Date: Sat, 20 Feb 2016 21:19:30 +0100
Subject: [PATCH] fixed run_test script

---
 example/run_test.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/example/run_test.py b/example/run_test.py
index 883d54e5..d0967c6e 100755
--- a/example/run_test.py
+++ b/example/run_test.py
@@ -47,10 +47,11 @@ if path != '':
     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]