+if [ "$check" == "1" ]; then
+ if [ "$DCPOMATIC_TEST_PRIVATE" == "" ]; then
+ pushd ../dcpomatic-test-private
+ else
+ pushd $DCPOMATIC_TEST_PRIVATE
+ fi
+ current=$(git rev-parse HEAD)
+ if [ "$current" != "$PRIVATE_GIT" ]; then
+ echo "Unexpected dcpomatic-test-private version"
+ exit 1
+ fi
+ popd
+fi
+
+if [ "$type" == "debug" ]; then