diff --git a/dev/build-release.sh b/dev/build-release.sh index 7aad889e2cba7fa9ecb4f6ffa46581a9aa168ae8..ed0bb6bf55e78d1824e3c409dc2ed6dbc537c5c6 100755 --- a/dev/build-release.sh +++ b/dev/build-release.sh @@ -356,7 +356,7 @@ cat >$JSON_DATA <<EOL ] }, EOL -echo " \"description\": \"# Main changes since $PREVIOUS $PREVIOUS_NAME\n$(jq <"$CHANGES" --raw-input 'sub("^#";"##")' | jq --slurp 'join("\n")' | sed 's/^.//;s/.$//')" >> $JSON_DATA +echo " \"description\": \"# Main changes since $PREVIOUS $PREVIOUS_NAME\n$(jq <"$CHANGES" --raw-input 'sub("^#";"##")' | jq --slurp 'join("\n")' | sed 's/^.//;s/.$//')\"" >> $JSON_DATA echo "}" >> $JSON_DATA echo "Release data file built" diff --git a/tests/libc/runtime.c b/tests/libc/runtime.c index 25588a82e04f0833265e745ac70217161f1b0ef7..a99e23548c9e6ac3b88d10d4cc9d93dc25865cf9 100644 --- a/tests/libc/runtime.c +++ b/tests/libc/runtime.c @@ -1,5 +1,6 @@ /* run.config* COMMENT: tests that the runtime can compile without errors (for PathCrawler, E-ACSL, ...) + ENABLED_IF: %{bin-available:gcc} CMD: FRAMAC='@frama-c@' %{dep:@PTEST_DIR@/runtime.sh} OPT: %{dep:@FRAMAC_SHARE@/libc/__fc_runtime.c} */ diff --git a/tests/libc/runtime.sh b/tests/libc/runtime.sh index aee0cf3d823f1aa61f34db70db8fd8caae2f4239..87893cee2481a134b0f831e3fb8830b974556ebc 100755 --- a/tests/libc/runtime.sh +++ b/tests/libc/runtime.sh @@ -3,5 +3,5 @@ set -e if test -z "$FRAMAC"; then echo "variable FRAMAC must be set"; exit 1; fi TMPDIR=$(mktemp -d fc_test_libc_XXXXXXXX) $FRAMAC -print-machdep-header > $TMPDIR/__fc_machdep.h -gcc -I$TMPDIR -D__FC_MACHDEP_X86_64 $@ -Wno-attributes -std=c99 -Wall -Wwrite-strings -o /dev/null +gcc -I$TMPDIR -D__FC_MACHDEP_X86_64 $@ -Wno-attributes -std=c99 -Wall -Wwrite-strings -Wno-builtin-macro-redefined -Wno-unknown-warning-option -o /dev/null rm -fr $TMPDIR