maint.mk: Use --coverage.

diff --git a/ChangeLog b/ChangeLog
index fa7493c..6a42c87 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2008-11-03  Simon Josefsson  <simon@josefsson.org>
+
+       * top/maint.mk (COVERAGE_CCOPTS): Use --coverage instead of
+       -fprofile-arcs -ftest-coverage.  Suggested by Ludovic Courtès
+       <ludo@gnu.org>.
+
 2008-11-02  Bruno Haible  <bruno@clisp.org>
 
        Mark 'strpbrk' obsolete.

diff --git a/top/maint.mk b/top/maint.mk
index 2eea98d..62f3a41 100644 (file)
--- a/top/maint.mk
+++ b/top/maint.mk
@@ -111,7 +111,7 @@ init-coverage:
        make clean
        lcov --directory . --zerocounters
 
-COVERAGE_CCOPTS ?= "-g -fprofile-arcs -ftest-coverage"
+COVERAGE_CCOPTS ?= "-g --coverage"
 COVERAGE_OUT ?= doc/coverage
 
 build-coverage: