diff --git a/scripts/tracewin b/scripts/tracewin index 989cd0d6388f4e39db1d2cc9f972b54801116a3b..303afd574847c468b6dc5b2b5e59189c861c151c 100644 --- a/scripts/tracewin +++ b/scripts/tracewin @@ -52,7 +52,7 @@ parser.add_argument('-s', '--seed', dest='seed', args = parser.parse_args() # A list to be filled depending on arguments given... -cmd = ["TraceWin64_noX11", "hide_esc", "'"+args.project+"'"] +cmd = ["TraceWin64_noX11", "'"+args.project+"'", "hide_esc"] # Check that project path exist: if not os.path.isfile(args.project):