diff --git a/scripts/tracewin b/scripts/tracewin index 3706ce3827fd8e8c4f9e1ee81743ac408f1e19d0..85455651838889337b589e9023e83e159865bbc6 100644 --- a/scripts/tracewin +++ b/scripts/tracewin @@ -3,6 +3,7 @@ from __future__ import print_function import argparse import os +import shutil import subprocess # This script simply runs TraceWin CLI version. @@ -53,7 +54,14 @@ 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+"'", "hide_esc"] +binary = None +for c in ["TraceWin64_noX11", "TraceWin_cli"]: + if shutil.which(c): + binary = c + break +if binary is None: + raise ValueError("Could not find the TraceWin binary") +cmd = [binary, f"'{args.project}'", "hide_esc"] # Check that project path exist: if not os.path.isfile(args.project):