diff options
| -rwxr-xr-x | bin/build-deb-package | 7 | ||||
| -rwxr-xr-x | bin/build-rpm-package | 8 |
2 files changed, 15 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 diff --git a/bin/build-rpm-package b/bin/build-rpm-package index 03b31c5..01d107b 100755 --- a/bin/build-rpm-package +++ b/bin/build-rpm-package @@ -312,10 +312,18 @@ unlock_workspace() { rm -f $LOCK_FILE } +delay_build() { + sleep $[ ( ( $RANDOM % 10 ) + 1 ) * 10 ]s +} + + ### MAIN ### set_vars $@ && { if [ "x$(basename $0)" = "x$PREFIX-build-rpm-package" ] || [ "x$(basename $0)" = "x$PREFIX-build+upload-rpm-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 |