Merge branch 'fix/test/runtime' into 'master'

[tests] fixes GCC command (undef warnings)

See merge request frama-c/frama-c!4212

tests/libc/runtime.c

 /* 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}
  */

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