diff --git a/crawl-git.conf b/crawl-git.conf index a5b8c9af..284ae6fb 100644 --- a/crawl-git.conf +++ b/crawl-git.conf @@ -5,6 +5,7 @@ CONFIG_READ="true" export GAME="crawl-git" +export BINARY_BASE_NAME="$GAME" CRAWL_BUILD_DIR=$DGL_CONF_HOME/crawl-build CRAWL_REPOSITORY_DIR=crawl-git-repository CRAWL_REPO=$DGL_CONF_HOME/crawl-build/$CRAWL_REPOSITORY_DIR @@ -18,6 +19,7 @@ export CHROOT_CRAWL_STABLE_GAMEDIR=/var/games # Path in chroot where the build's data and savedir will be created: export CHROOT_CRAWL_BASEDIR=/crawl-master export CHROOT_CRAWL_GAMEDIR=$CHROOT_CRAWL_BASEDIR/$GAME +export CRAWL_GIT_DIR=$CHROOT_CRAWL_BASEDIR # Build config: export CRAWL_UGRP=crawl:crawl @@ -56,6 +58,10 @@ git-do() { crawl-repo-do git "$@" } +query() { + sqlite3 "$VERSIONS_DB" +} + latest-game-hash() { query <