diff --git a/tests/fc_script/test_machdep.i b/tests/fc_script/test_machdep.i index 38204056d5665674a863d2c6c604c02905e0ce00..709f614dd42d5e329e1cae0e23cc8770fafdd591 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 */