diff options
Diffstat (limited to 'tools/Makefile.am')
| -rw-r--r-- | tools/Makefile.am | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tools/Makefile.am b/tools/Makefile.am index eb27d4a..8c4b1ce 100644 --- a/tools/Makefile.am +++ b/tools/Makefile.am @@ -33,9 +33,13 @@ gf_inline_time_SOURCES = gf_inline_time.c #gf_inline_time_LDFLAGS = -lgf_complete gf_inline_time_LDADD = ../src/libgf_complete.la +if ENABLE_VALGRIND +VALGRIND = | sed -e 's|^|../libtool --mode=execute valgrind --quiet --error-exitcode=1 --tool=memcheck |' +endif + # gf_unit tests as generated by gf_methods gf_unit_w%.sh: gf_methods - ./$^ $(@:gf_unit_w%.sh=%) -A -U > $@ || rm $@ + ./$^ $(@:gf_unit_w%.sh=%) -A -U ${VALGRIND} > $@ || rm $@ TESTS = gf_unit_w128.sh \ gf_unit_w64.sh \ |