diff options
-rw-r--r-- | bashrc | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -171,7 +171,7 @@ bisect() { } build() { title "Build in progress" - CCACHE_BASEDIR=$(git root) nice -n5 b2 -j$TASKS $@ + MAILINGLISTS_INSTALL_BASE=$(git root)/../mailinglists ANALYTICS_INSTALL_BASE=$(git root)/analytics OCTAL_INSTALL_BASE=$(git root)/../smssite OCTAL_BASE=$(git root) CCACHE_BASEDIR=$(git root) time -f"...in %e seconds" nice -n5 b2 -l300 -j$TASKS $@ rtn=$? if [ $rtn -eq 0 ]; then title "✔ ${PWD/#$HOME/\~} $@" |