From 25e756339e9f3a64b61870b32f06b47f7348e618 Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Wed, 21 Jun 2023 15:05:27 +0200 Subject: [PATCH] disable test when deps not met --- tests/fc_script/test_machdep.i | 1 + 1 file changed, 1 insertion(+) diff --git a/tests/fc_script/test_machdep.i b/tests/fc_script/test_machdep.i index 38204056d56..709f614dd42 100644 --- a/tests/fc_script/test_machdep.i +++ b/tests/fc_script/test_machdep.i @@ -1,6 +1,7 @@ /* run.config NOFRAMAC: Just test the generation of a custom machdep with the installed script. COMMENT: No C code gets analyzed there. File is empty on purpose + ENABLED_IF: %{bin-available:clang} FILTER: sed -e '/^version:/d' EXECNOW: LOG custom_machdep.yaml LOG make_machdep.err.log PTESTS_TESTING=1 %{bin:frama-c-script} make-machdep --compiler clang --cpp-arch-flags='--target=riscv64' -o custom_machdep.yaml 2> make_machdep.err.log */ -- GitLab