From 80779b7ba64997265afd016366c8651150e32059 Mon Sep 17 00:00:00 2001 From: Simon McVittie Date: Thu, 19 Apr 2007 16:02:25 +0000 Subject: Use ${MAKE} -C instead of make -C 20070419160225-53eee-36fc85408153652eb80bbd001e2a65c7f3aa8db3.gz --- Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile.am') 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 -- cgit v1.2.1