| # This file is prepended to all builds. It is intended to perform some common | |
| # envornment setup. | |
| if [ -z ${WORKSPACE+x} ]; then | |
| echo 1>&2 "Error: WORKSPACE environment variable not defined" | |
| exit 1 | |
| fi | |
| if [ ! -d config ]; then | |
| echo 1>&2 "Error: $(pwd)/config directory does not exist" | |
| exit 1 | |
| fi | |
| # Choose some safer shell execution modes (abort when using uninitialized vars, | |
| # abort on non-zero exit codes). | |
| set -eux | |
| # Bring the tools into our PATH | |
| export PATH="${TASKDIR}/bin:$PATH" | |
| build clean |