summaryrefslogtreecommitdiff
path: root/runv
diff options
context:
space:
mode:
authorLeo Tenenbaum <pommicket@gmail.com>2019-11-25 15:30:02 -0500
committerLeo Tenenbaum <pommicket@gmail.com>2019-11-25 15:30:02 -0500
commit7e8028e1941ec1a6376b5ebd43964d334af4df72 (patch)
tree24093cf63561ae9d820b2f66d4ea376c52bd7203 /runv
parent0c1d471fa16aca1840ef792e9f123ecf78d3df25 (diff)
cleaning up
Diffstat (limited to 'runv')
-rwxr-xr-xrunv7
1 files changed, 6 insertions, 1 deletions
diff --git a/runv b/runv
index ccd621f..614eda3 100755
--- a/runv
+++ b/runv
@@ -1,5 +1,10 @@
#!/bin/sh
-valgrind -q --track-origins=yes --error-exitcode=1 --malloc-fill=0xcd --free-fill=0xef --num-callers=100 ./toc test.toc || exit 1
+if [ "$2" = "" ]; then
+ tocf=test.toc
+else
+ tocf="$2"
+fi
+valgrind -q --track-origins=yes --error-exitcode=1 --malloc-fill=0xcd --free-fill=0xef --num-callers=100 ./toc $tocf || exit 1
if [ "$1" = "c" ]; then
gcc out.c && ./a.out
elif [ "$1" = "pc" ]; then