diff options
author | Leo Tenenbaum <pommicket@gmail.com> | 2020-01-22 13:45:47 -0500 |
---|---|---|
committer | Leo Tenenbaum <pommicket@gmail.com> | 2020-01-22 13:45:47 -0500 |
commit | c169e55a4bf4e278b712176ae7a9787f3db8d610 (patch) | |
tree | c16499c1c223b86bfdf7759ce949fb1bd0bf24ab /runv | |
parent | 18740f2f8502adf410ac3d4fa853730bedade787 (diff) |
runtime foreign
Diffstat (limited to 'runv')
-rwxr-xr-x | runv | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |