Merge pull request #5393 from danpoe/fixes/goto-cc-error-flag

Don't require -Wextra goto-gcc flag for warnings to be treated as errors
diffblue · Jun 26, 2020 · 7405bfb · 7405bfb
2 parents faf7f43 + 188a69f
commit 7405bfb
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/goto-cc/gcc_mode.cpp b/src/goto-cc/gcc_mode.cpp
@@ -364,7 +364,6 @@ int gcc_modet::doit()
   compilet compiler(cmdline,
                     gcc_message_handler,
                     cmdline.isset("Werror") &&
-                    cmdline.isset("Wextra") &&
                     !cmdline.isset("Wno-error"));
 
   if(cmdline.isset("version"))