diff options
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 3 |
1 files changed, 3 insertions, 0 deletions
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" |