Merge branch 'maint'

[bison.git] / tests / local.mk

diff --git a/tests/local.mk b/tests/local.mk
index 4f2ee52d350de2c2b3c8dd350505460c2836660a..dc5b6c482ffeac99b029f8580086694c6e3a71d2 100644 (file)
--- a/tests/local.mk
+++ b/tests/local.mk
@@ -108,7 +108,7 @@ maintainer-check-posix: $(RUN_TESTSUITE_deps)
 maintainer-check-valgrind: $(RUN_TESTSUITE_deps)
        test -z '$(VALGRIND)' ||                                        \
          $(RUN_TESTSUITE)                                              \
 maintainer-check-valgrind: $(RUN_TESTSUITE_deps)
        test -z '$(VALGRIND)' ||                                        \
          $(RUN_TESTSUITE)                                              \

-           PREBISON='$(VALGRIND) -q' PREPARSER='$(VALGRIND) -q'        \
+           PREBISON='$(VALGRIND_PREBISON)' PREPARSER='$(VALGRIND) -q'  \

            VALGRIND_OPTS='--leak-check=full --show-reachable=yes'
 
 .PHONY: maintainer-check
            VALGRIND_OPTS='--leak-check=full --show-reachable=yes'
 
 .PHONY: maintainer-check