diff options
| -rwxr-xr-x | autobuild.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/autobuild.sh b/autobuild.sh index 2d4a343..bd8f678 100755 --- a/autobuild.sh +++ b/autobuild.sh @@ -4,6 +4,7 @@ set -e set -v test -n "$1" && RESULTS=$1 || RESULTS=results.log +: ${AUTOBUILD_INSTALL_ROOT=$HOME/builder} # Make things clean. test -f Makefile && make -k distclean || : |