diff options
Diffstat (limited to 'bin/build-rpm-package')
| -rwxr-xr-x | bin/build-rpm-package | 8 |
1 files changed, 8 insertions, 0 deletions
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 |