diff --git a/src/tools/make/configure.c b/src/tools/make/configure.c index 79059bd7..258a1b4e 100644 --- a/src/tools/make/configure.c +++ b/src/tools/make/configure.c @@ -126,7 +126,7 @@ void determineOS() { #define optimize "" // " -O1" // FIXME ignoring warning floods that possibly are problems -#define ignore_gcc_warning_flood " -Wno-stringop-overflow" +#define ignore_gcc_warning_flood " -Wno-stringop-overflow -std=gnu11" #define ignore_clang_warning_flood " -Wno-deprecated-non-prototype" void determineCCompiler() {