diff options
author | Anton Kling <anton@kling.gg> | 2024-06-27 18:59:49 +0200 |
---|---|---|
committer | Anton Kling <anton@kling.gg> | 2024-06-27 19:07:50 +0200 |
commit | d315a82dbed1fd288702ebbcb869c744476433a8 (patch) | |
tree | b58ec3831daa0abf0dd2dd5dd4395e53565bd1c7 /userland/test/linux.sh | |
parent | 556d1e44fef369a7200cc045f337ac3db2f9eab5 (diff) |
stuff
Diffstat (limited to 'userland/test/linux.sh')
-rwxr-xr-x | userland/test/linux.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/userland/test/linux.sh b/userland/test/linux.sh index d40d6cc..1cb1668 100755 --- a/userland/test/linux.sh +++ b/userland/test/linux.sh @@ -1,4 +1,4 @@ #!/bin/bash -gcc -DLINUX test.c -o ./local/a.out +gcc -DLINUX test.c -g -o ./local/a.out || exit cd local -./a.out +valgrind ./a.out |