mirror of
https://github.com/johnkerl/miller.git
synced 2026-08-04 21:43:38 +00:00
neaten
This commit is contained in:
parent
14b71a6674
commit
26cdbdac57
1 changed files with 3 additions and 4 deletions
|
|
@ -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
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue