From 88b8cddabdaaa1bfd6d6f566bcebc38f516227df Mon Sep 17 00:00:00 2001 From: Leo Tenenbaum Date: Sat, 11 Jul 2020 16:05:49 -0400 Subject: improved the way value memory management works --- runv | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'runv') diff --git a/runv b/runv index 8cba96a..b40ca55 100755 --- a/runv +++ b/runv @@ -5,7 +5,7 @@ else tocf="$2" fi if [ "$1" = "noq" ]; then - FLAGS= + FLAGS="--leak-check=full" else FLAGS="-q" fi -- cgit v1.2.3