summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorArseny Kapoulkine <arseny.kapoulkine@gmail.com>2015-08-25 08:12:54 -0700
committerArseny Kapoulkine <arseny.kapoulkine@gmail.com>2015-08-25 08:14:20 -0700
commit1d854cd420d04abbb342c655324ae3b8ac3525ed (patch)
tree517fca6d6e6e4ea35e5f3fa3d1fa42c482b7d02f
parentce4ac177801e31ffd309c91cb9e464d8cab205a3 (diff)
build: Simplify coverage configuration
Use -coverage option and keep NDEBUG off
-rw-r--r--Makefile5
1 files changed, 2 insertions, 3 deletions
diff --git a/Makefile b/Makefile
index 606c056..ad0dc1e 100644
--- a/Makefile
+++ b/Makefile
@@ -20,9 +20,8 @@ ifeq ($(config),release)
endif
ifeq ($(config),coverage)
- CXXFLAGS+=-DNDEBUG
- CXXFLAGS+=-fprofile-arcs -ftest-coverage
- LDFLAGS+=-fprofile-arcs
+ CXXFLAGS+=-coverage
+ LDFLAGS+=-coverage
endif
ifeq ($(config),sanitize)