diff options
| author | Carl Hetherington <cth@carlh.net> | 2012-10-17 14:26:29 +0100 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2012-10-17 14:26:29 +0100 |
| commit | da25b742c3fd0022f0964d8aa3b77a89cc08a644 (patch) | |
| tree | 6ad359989741ab567c5c8155101cd60705da0c2c | |
| parent | 5c457e804689e69289c26398a09e54e9f6b26e02 (diff) | |
Fix makedcp script.
| -rwxr-xr-x | run/makedcp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/run/makedcp b/run/makedcp index f5adbd917..f71345b66 100755 --- a/run/makedcp +++ b/run/makedcp @@ -2,8 +2,10 @@ export LD_LIBRARY_PATH=build/src/lib:$LD_LIBRARY_PATH:build/src if [ "$1" == "--debug" ]; then + shift gdb --args build/src/tools/makedcp "$@" elif [ "$1" == "--valgrind" ]; then + shift valgrind --tool="memcheck" --leak-check=full --show-reachable=yes build/src/tools/makedcp "$@" else build/src/tools/makedcp "$@" |