summaryrefslogtreecommitdiff
path: root/runv
diff options
context:
space:
mode:
authorLeo Tenenbaum <pommicket@gmail.com>2020-07-11 16:05:49 -0400
committerLeo Tenenbaum <pommicket@gmail.com>2020-07-11 16:05:49 -0400
commit88b8cddabdaaa1bfd6d6f566bcebc38f516227df (patch)
tree39fd2a4691933bd1a62d6cf36fcb88234975b125 /runv
parent1c0e87ce47c22512878edef083577aa573fd7876 (diff)
improved the way value memory management works
Diffstat (limited to 'runv')
-rwxr-xr-xrunv2
1 files changed, 1 insertions, 1 deletions
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