diff options
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 |