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