From 26cdbdac57be3926e4bbf78c44fad197b754e89c Mon Sep 17 00:00:00 2001 From: John Kerl Date: Sun, 26 Feb 2017 22:47:59 -0500 Subject: [PATCH] neaten --- c/reg_test/run | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) 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