diff options
| -rwxr-xr-x | maketags.sh | 5 | ||||
| -rwxr-xr-x | runvalgrind.sh | 4 |
2 files changed, 0 insertions, 9 deletions
diff --git a/maketags.sh b/maketags.sh deleted file mode 100755 index 679c7134..00000000 --- a/maketags.sh +++ /dev/null @@ -1,5 +0,0 @@ -#!/bin/sh -rm -f tags -rm -f cscope.out -ctags -R . -cscope -R -b diff --git a/runvalgrind.sh b/runvalgrind.sh deleted file mode 100755 index 985d69a6..00000000 --- a/runvalgrind.sh +++ /dev/null @@ -1,4 +0,0 @@ -#!/bin/sh -rm -f valgrind.out -#valgrind --log-file=valgrind.out --leak-check=full --track-origins=yes --show-reachable=yes ./profanity -valgrind --log-file=valgrind.out --leak-check=full --track-origins=yes ./profanity -l DEBUG |