diff options
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index de17a2172..6fb4646a7 100644 --- a/Makefile.am +++ b/Makefile.am @@ -15,4 +15,4 @@ dist-hook: if test -d _darcs; then darcs changes >${distdir}/ChangeLog; fi check-extra: check - make -C tests check-extra + $(MAKE) -C tests check-extra |