diff options
Diffstat (limited to 'run/dcpdiff')
| -rwxr-xr-x | run/dcpdiff | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/run/dcpdiff b/run/dcpdiff deleted file mode 100755 index ab21937c..00000000 --- a/run/dcpdiff +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/bash - -export LD_LIBRARY_PATH=build/src -if [ "$1" == "--debug" ]; then - shift - gdb --args build/tools/dcpdiff "$@" -elif [ "$1" == "--valgrind" ]; then - shift - valgrind --tool="memcheck" --leak-check=full --show-reachable=yes build/tools/dcpdiff "$@" -else - build/tools/dcpdiff "$@" -fi |