Merge pull request #6537 from tautschnig/gcc-opt-coverage

tautschnig · web-flow · commit 8bf2480dfb3d · 2021-12-31T17:45:00.000+01:00
goto-cc/gcc command line: add option coverage
diff --git a/src/goto-cc/gcc_cmdline.cpp b/src/goto-cc/gcc_cmdline.cpp
@@ -216,6 +216,7 @@ const char *gcc_options_without_argument[]=
   "-EB",
   "-EL",
   "-fast", // Apple only
+  "-coverage",
   nullptr
 };
 // clang-format on
