[PPL-devel] [PATCH] Pass MAKE environment to run_tests script

[Tobias Grosser]

The tests/Box/run_tests script uses make from $MAKE otherwise just
'make'. As on FreeBSD gnu make is 'gmake', we have to set MAKE in the
environment of run_tests to not execute the bsd make 'make'.
---
 tests/Box/Makefile.am |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/Box/Makefile.am b/tests/Box/Makefile.am
index 53600ef..ce2bc6b 100644
--- a/tests/Box/Makefile.am
+++ b/tests/Box/Makefile.am
@@ -22,14 +22,14 @@
 
 if VALGRIND_TESTS_ENABLED
 
-CHECKER = \
+CHECKER = MAKE=$(MAKE) \
 $(VALGRIND) --tool=memcheck -q --trace-children=yes --leak-check=yes \
 --num-callers=100 --leak-resolution=high \
 --suppressions=$(top_srcdir)/tests/valgrind_suppressions
 
 else !VALGRIND_TESTS_ENABLED
 
-CHECKER =
+CHECKER = MAKE=$(MAKE)
 
 endif !VALGRIND_TESTS_ENABLED
 
-- 
1.6.1.3