From: Simon Josefsson <simon@josefsson.org>
Date: Mon, 3 Nov 2008 11:20:18 +0000 (+0100)
Subject: maint.mk: Use --coverage.
X-Git-Tag: v0.1~6728
X-Git-Url: http://erislabs.org.uk/gitweb/?a=commitdiff_plain;h=dfb03f6cae852d6d9bfc7e986b942d0b81e06dff;p=gnulib.git

maint.mk: Use --coverage.
---

diff --git a/ChangeLog b/ChangeLog
index fa7493c38..6a42c8760 100644
--- 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 2eea98d5d..62f3a41ec 100644
--- 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: