fix --valgrind option
This commit is contained in:
parent
4938962b76
commit
e6f30c948c
@ -7,7 +7,7 @@ CMD="./build/default/src/icfp08radar localhost 17676"
|
|||||||
if [ "$1" == "--gdb" ]; then
|
if [ "$1" == "--gdb" ]; then
|
||||||
CMD="gdb --args ${CMD}"
|
CMD="gdb --args ${CMD}"
|
||||||
elif [ "$1" == "--valgrind" ]; then
|
elif [ "$1" == "--valgrind" ]; then
|
||||||
CMD="valgrind --args ${CMD}"
|
CMD="valgrind ${CMD}"
|
||||||
fi
|
fi
|
||||||
|
|
||||||
exec $CMD
|
exec $CMD
|
||||||
|
Loading…
Reference in New Issue
Block a user