diff options
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Makefile.am b/Makefile.am index 47bfbd2c..8243a922 100644 --- a/Makefile.am +++ b/Makefile.am @@ -7,13 +7,13 @@ dist-hook: if test -d _darcs; then darcs changes >${distdir}/ChangeLog; fi valgrind: - cd tests && make valgrind + cd tests && $(MAKE) valgrind torture: - cd tests && make torture + cd tests && $(MAKE) torture forever: - cd tests && make forever + cd tests && $(MAKE) forever .PHONY: lcov |