summaryrefslogtreecommitdiffstats
path: root/vagrant/provision
diff options
context:
space:
mode:
authorTails developers <amnesia@boum.org>2014-12-03 17:32:11 +0000
committerTails developers <amnesia@boum.org>2014-12-03 18:57:48 +0000
commitca6e637c9856640e5b3266c63ff518598c3dce24 (patch)
treeb72d99529b722a9a6ef2cb6352e77adfaf02c9de /vagrant/provision
parent21f0a583051f756cb5666f4813b0d54c63923f0e (diff)
Actually abort whenever we want, and pretend to.
Diffstat (limited to 'vagrant/provision')
-rwxr-xr-xvagrant/provision/assets/build-tails4
1 files changed, 4 insertions, 0 deletions
diff --git a/vagrant/provision/assets/build-tails b/vagrant/provision/assets/build-tails
index e4f4948..7c9cf59 100755
--- a/vagrant/provision/assets/build-tails
+++ b/vagrant/provision/assets/build-tails
@@ -50,15 +50,19 @@ if [ -n "$JENKINS_URL" ]; then
if [ -z "$WORKSPACE" ]; then
echo "WORKSPACE environment variable is not set. Aborting." >&2
+ exit 2
fi
if [ -z "$ARTIFACTS_ROOT_DIR" ] ; then
echo "ARTIFACTS_ROOT_DIR environment variable is not set. Aborting." >&2
+ exit 3
fi
if [ -z "$GIT_BRANCH" ]; then
echo "GIT_BRANCH environment variable is not set. Aborting." >&2
+ exit 4
fi
if [ -z "$GIT_COMMIT" ]; then
echo "GIT_COMMIT environment variable is not set. Aborting." >&2
+ exit 5
fi
REV="${GIT_BRANCH##origin/}"
COMMIT="$GIT_COMMIT"