From dfb03f6cae852d6d9bfc7e986b942d0b81e06dff Mon Sep 17 00:00:00 2001
From: Simon Josefsson <simon@josefsson.org>
Date: Mon, 3 Nov 2008 12:20:18 +0100
Subject: [PATCH] maint.mk: Use --coverage.

---
 ChangeLog    | 6 ++++++
 top/maint.mk | 2 +-
 2 files changed, 7 insertions(+), 1 deletion(-)

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:
-- 
2.11.0