maint.mk: Use --coverage.

diff --git a/ChangeLog b/ChangeLog
index fa7493c38e47c9501a017207da417cff99f0d20e..6a42c8760a0c3ca75da3ed6fcbe60a052464c44a 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 2eea98d5d460195324ade14854b0b7d431c89f63..62f3a41ec07883230c085bbe0f719a525c521bc4 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: