diff options
Diffstat (limited to '.travis/targets/valgrind.sh')
| -rw-r--r-- | .travis/targets/valgrind.sh | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/.travis/targets/valgrind.sh b/.travis/targets/valgrind.sh deleted file mode 100644 index 55d3faa..0000000 --- a/.travis/targets/valgrind.sh +++ /dev/null @@ -1,5 +0,0 @@ -build() { - default_configure \ - --enable-valgrind - make valgrind -} |