From 669a1504f762609fb5a5cc93612a1a15106a97d8 Mon Sep 17 00:00:00 2001
From: Yngve Inntjore Levinsen <Yngve.Levinsen@esss.se>
Date: Wed, 20 Apr 2016 14:10:39 +0200
Subject: [PATCH] add hide_esc to default arguments of tracewin exec
---
scripts/tracewin | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/scripts/tracewin b/scripts/tracewin
index 531153b..989cd0d 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", "'"+args.project+"'"]
+cmd = ["TraceWin64_noX11", "hide_esc", "'"+args.project+"'"]
# Check that project path exist:
if not os.path.isfile(args.project):
--
GitLab