diff options
Diffstat (limited to 'point.sh')
-rwxr-xr-x | point.sh | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/point.sh b/point.sh deleted file mode 100755 index 8156f68..0000000 --- a/point.sh +++ /dev/null @@ -1,5 +0,0 @@ -#!/bin/sh -valgrind -q ./toc point.toc -o point.c || exit 1 -valgrind -q ./toc test.toc || exit 1 -gcc point.c out.c -o a.out -O0 -g || exit 1 -./a.out || exit 1 |