summaryrefslogtreecommitdiff
path: root/runv
diff options
context:
space:
mode:
authorLeo Tenenbaum <pommicket@gmail.com>2020-01-22 13:45:47 -0500
committerLeo Tenenbaum <pommicket@gmail.com>2020-01-22 13:45:47 -0500
commitc169e55a4bf4e278b712176ae7a9787f3db8d610 (patch)
treec16499c1c223b86bfdf7759ce949fb1bd0bf24ab /runv
parent18740f2f8502adf410ac3d4fa853730bedade787 (diff)
runtime foreign
Diffstat (limited to 'runv')
-rwxr-xr-xrunv2
1 files changed, 1 insertions, 1 deletions
diff --git a/runv b/runv
index 7f621fe..4134417 100755
--- a/runv
+++ b/runv
@@ -12,7 +12,7 @@ fi
valgrind $FLAGS --track-origins=yes --exit-on-first-error=yes --error-exitcode=1 --malloc-fill=0xcd --free-fill=0xef --num-callers=100 ./toc $tocf || exit 1
if [ "$1" = "c" ]; then
- gcc out.c -g && ./a.out
+ gcc out.c -g -Wno-builtin-declaration-mismatch && ./a.out
elif [ "$1" = "pc" ]; then
cat out.c
fi