13 lines
744 B
Diff
13 lines
744 B
Diff
diff -ur libprelude-0.9.20.orig/tests/Makefile.in libprelude-0.9.20/tests/Makefile.in
|
|
--- libprelude-0.9.20.orig/tests/Makefile.in 2008-09-03 11:58:21.000000000 -0400
|
|
+++ libprelude-0.9.20/tests/Makefile.in 2008-09-04 11:02:38.000000000 -0400
|
|
@@ -1012,7 +1012,7 @@
|
|
@HAVE_VALGRIND_TRUE@ $(MAKE) valgrind
|
|
|
|
@HAVE_VALGRIND_TRUE@%.valgrind: %
|
|
-@HAVE_VALGRIND_TRUE@ libtool --mode=execute \
|
|
+@HAVE_VALGRIND_TRUE@ $(LIBTOOL) --mode=execute \
|
|
@HAVE_VALGRIND_TRUE@ $(VALGRIND) -q \
|
|
@HAVE_VALGRIND_TRUE@ --tool=memcheck --leak-check=full --trace-children=yes \
|
|
@HAVE_VALGRIND_TRUE@ --leak-resolution=high --num-callers=20 \
|