aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xconfigure4
1 files changed, 2 insertions, 2 deletions
diff --git a/configure b/configure
index 22989f60..02f01225 100755
--- a/configure
+++ b/configure
@@ -374,8 +374,8 @@ else
fi
if [ "$gcov" = "1" ]; then
- echo "CFLAGS+=-ftest-coverage -fprofile-arcs" >> Makefile.settings
- echo "EFLAGS+=-lgcov" >> Makefile.settings
+ echo "CFLAGS+=--coverage" >> Makefile.settings
+ echo "EFLAGS+=--coverage" >> Makefile.settings
fi
if [ "$plugins" = 0 ]; then