Commit 8b41b700 8b41b70055f43e2e004951762472fb3af0235305 by Nicolas Perriault

fixes 711 - proper cli arguments parsing

1 parent 1027e05d
...@@ -109,7 +109,7 @@ else: ...@@ -109,7 +109,7 @@ else:
109 for arg in SYS_ARGS: 109 for arg in SYS_ARGS:
110 found = False 110 found = False
111 for native in ENGINE_NATIVE_ARGS: 111 for native in ENGINE_NATIVE_ARGS:
112 if arg.startswith('--%s' % native): 112 if arg == '--%s' % native:
113 ENGINE_ARGS.append(arg) 113 ENGINE_ARGS.append(arg)
114 found = True 114 found = True
115 if not found: 115 if not found:
......