diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2013-12-13 22:21:22 +0100 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2013-12-13 22:21:22 +0100 |
| commit | aa9bfbf74e03c3499fa0e4ded749176f0de97a95 (patch) | |
| tree | 71487cb5a1bbeb70f31542922aa5167315957121 /bin/build-deb-package | |
| parent | 40754ccd94cd436b44343aeea25daa49b1c3809d (diff) | |
| download | buildscripts-aa9bfbf74e03c3499fa0e4ded749176f0de97a95.tar.gz buildscripts-aa9bfbf74e03c3499fa0e4ded749176f0de97a95.tar.bz2 buildscripts-aa9bfbf74e03c3499fa0e4ded749176f0de97a95.zip | |
auto-delay forced builds, as if several builds are triggered at once, this is likely to fail (repoquery locks, dpkg-source on changing Git files)
Diffstat (limited to 'bin/build-deb-package')
| -rwxr-xr-x | bin/build-deb-package | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/bin/build-deb-package b/bin/build-deb-package index 49c0d80..9cc8bae 100755 --- a/bin/build-deb-package +++ b/bin/build-deb-package @@ -333,10 +333,17 @@ unlock_workspace() { rm -f $LOCK_FILE } +delay_build() { + sleep $[ ( $RANDOM % 30 ) + 1 ]s +} + ### MAIN ### set_vars $@ && { if [ "x$(basename $0)" = "x$PREFIX-build-deb-package" ] || [ "x$(basename $0)" = "x$PREFIX-build+upload-deb-package" ]; then cd $PROJECT_DIR && pkgneedsbuild $CHECKOUT || [ "$FORCE_BUILD" = "yes" ] && { + if [ "x$FORCE_BUILD" = "xyes" ]; then + delay_build + fi lock_workspace prepare_workspace && { unlock_workspace |