diff --git a/Makefile.am b/Makefile.am index 7928099830bfdea2b5b8c58082e0a03a5bac7946..b2ed1b389d7a4bc9db7e3a3e2f0d1d5e29150381 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"