From a67e294ad7a7347cd580600022ba929a0c790743 Mon Sep 17 00:00:00 2001 From: Ofek Shilon Date: Sat, 16 Dec 2023 22:55:11 +0200 Subject: [PATCH] Make run_gen.py work on windows --- scripts/run_gen.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/scripts/run_gen.py b/scripts/run_gen.py index 0dddd98..eebb686 100755 --- a/scripts/run_gen.py +++ b/scripts/run_gen.py @@ -30,6 +30,7 @@ import multiprocessing.managers import os import platform +import platform import re import shutil import stat @@ -1511,8 +1512,9 @@ def prepare_env_and_start_testing(out_dir, timeout, targets, num_jobs, config_fi # Check for binary of generator yarpgen_bin = os.path.abspath(common.yarpgen_scripts + os.sep + "yarpgen") - if(platform.system() == "Windows"): + if (platform.system() == 'Windows') : yarpgen_bin += ".exe" + common.check_and_copy(yarpgen_bin, out_dir) ret_code, output, err_output, time_expired, elapsed_time = common.run_cmd([yarpgen_bin, "-v"], yarpgen_timeout, 0) common.yarpgen_version_str = str(output, "utf-8")