diff options
Diffstat (limited to 'buildbot')
-rwxr-xr-x | buildbot/build.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/buildbot/build.sh b/buildbot/build.sh index f04240f..c6ff84c 100755 --- a/buildbot/build.sh +++ b/buildbot/build.sh @@ -8,4 +8,11 @@ if test $active = "test-blue"; then nonactive="test-green" fi +PAUSE_LOCKFILE=/tmp/buildbot_pause.lock + +if [ -f $PAUSE_LOCKFILE ]; then +echo "The Buildbot is paused, remove ${PAUSE_LOCKFILE} to resume." +exit 0 +fi + sudo -u $nonactive bash -c 'source $HOME/activate; taler-deployment-build' |