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 [--relaxed]" % sys.argv[0]) + print("Syntax: %s [--relaxed] " % 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]