From 401d19be37ef69e37c9b093f62d62f30093364b3 Mon Sep 17 00:00:00 2001 From: Hisham Muhammad Date: Tue, 30 Jan 2018 14:21:32 -0200 Subject: [PATCH] Add `make symbols` target --- Makefile.am | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Makefile.am b/Makefile.am index 79280998..b2ed1b38 100644 --- a/Makefile.am +++ b/Makefile.am @@ -103,6 +103,9 @@ profile: debug: $(MAKE) all CFLAGS="" AM_CPPFLAGS="-ggdb -DDEBUG" +symbols: + $(MAKE) all CFLAGS="" AM_CPPFLAGS="-ggdb -DNDEBUG" + coverage: $(MAKE) all CFLAGS="" AM_CPPFLAGS="-fprofile-arcs -ftest-coverage -DDEBUG" LDFLAGS="-lgcov"