diff options
Diffstat (limited to '')
-rwxr-xr-x | c/test | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/c/test b/c/test deleted file mode 100755 index 05d1fb5..0000000 --- a/c/test +++ /dev/null @@ -1,14 +0,0 @@ -#!/usr/bin/env bash - -CFLAGS=-ggdb3 make valgrind-out.txt - -printf "\n___RESULTS:___\n"; -if grep -q 'ERROR SUMMARY: 0 errors from 0 contexts (suppressed: 0 from 0)' valgrind-out.txt; then - echo "No Memory leaks"; -else - echo "Memory leaks: " && tail valgrind-out.txt; - exit 1; -fi - - -# vim: ft=sh |