blob: f81be30678dd7cfa61a8e8c0157c64a69cd36cd4 (
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_map "$@"
elif [ "$1" == "--valgrind" ]; then
shift
valgrind --tool="memcheck" --leak-check=full --show-reachable=yes build/src/tools/dcpomatic2_map "$@"
else
build/src/tools/dcpomatic2_map "$@"
fi
|
