From 1e5d301d119d8cac7bc5b98d4cc430558fbceeca Mon Sep 17 00:00:00 2001 From: Fabian Albert Date: Tue, 23 Jul 2024 14:43:17 +0200 Subject: [PATCH] state --- src/scripts/ci_build.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/scripts/ci_build.py b/src/scripts/ci_build.py index 89b0c216109..1d0240ea424 100755 --- a/src/scripts/ci_build.py +++ b/src/scripts/ci_build.py @@ -443,7 +443,7 @@ def add_boost_support(target, target_os): '-ex', 'bt', '-ex', 'quit'] else: - run_test_command = test_prefix + test_cmd + ' cmce' + run_test_command = test_prefix + test_cmd + ['cmce'] return flags, run_test_command, make_prefix