2008-07-13 15:19:43 +02:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
2008-07-13 21:57:26 +02:00
|
|
|
CMD="./build/default/src/icfp08radar localhost 17676"
|
|
|
|
|
|
2008-07-13 15:19:43 +02:00
|
|
|
./waf distclean && ./waf configure && ./waf build --targets icfp08radar
|
2008-07-13 21:57:26 +02:00
|
|
|
|
|
|
|
|
if [ "$1" == "--gdb" ]; then
|
|
|
|
|
CMD="gdb --args ${CMD}"
|
|
|
|
|
elif [ "$1" == "--valgrind" ]; then
|
2008-07-13 22:13:40 +02:00
|
|
|
CMD="valgrind --leak-check=full ${CMD}"
|
2008-07-13 21:57:26 +02:00
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
exec $CMD
|
