diff options
Diffstat (limited to 'src/mint/Makefile.am')
| -rw-r--r-- | src/mint/Makefile.am | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/mint/Makefile.am b/src/mint/Makefile.am index 112dbbf1..71b4ce63 100644 --- a/src/mint/Makefile.am +++ b/src/mint/Makefile.am @@ -1,6 +1,11 @@ # This Makefile.am is in the public domain AM_CPPFLAGS = -I$(top_srcdir)/src/include +if USE_COVERAGE + AM_CFLAGS = --coverage -O0 + XLIB = -lgcov +endif + bin_PROGRAMS = \ taler-mint-httpd |