blob: 8de760cc069d5d941ffd0f356e492e011fabd443 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#!/bin/bash
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
source $DIR/environment
if [ "$1" == "--debug" ]; then
gdb --args build/src/tools/dcpomatic2_server
elif [ "$1" == "--valgrind" ]; then
valgrind --tool="memcheck" build/src/tools/dcpomatic2_server
else
build/src/tools/dcpomatic2_server
fi
|
