diff --git a/c/reg_test/run b/c/reg_test/run index 5b8763edf..8582d790c 100755 --- a/c/reg_test/run +++ b/c/reg_test/run @@ -40,11 +40,10 @@ if [ "$1" = "--valgrind" ]; then # Leak-check the test suite. Needs 'make mlrg' first. # ../tools/clean-valg can be used to filter the output. path_to_mlr="valgrind --leak-check=full ${path_to_mlr}g" -fi -if [ "$1" = "--no-mmap" ]; then - # Leak-check the test suite. Needs 'make mlrg' first. - # ../tools/clean-valg can be used to filter the output. +elif [ "$1" = "--no-mmap" ]; then path_to_mlr="${path_to_mlr} --no-mmap" +elif [ "$1" = "--valgrind-no-mmap" ]; then + path_to_mlr="valgrind --leak-check=full ${path_to_mlr}g --no-mmap" fi echo Using mlr executable $path_to_mlr