Use simpler flags for gcov.

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