diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2013-12-03 21:37:55 +0100 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2013-12-03 21:37:55 +0100 |
| commit | 5a425eddb3b5fa7e37510ba65719e2e620a3984e (patch) | |
| tree | 2f471d2fccf2825140c8a330e38f0cc2e7dfd0fa /bin | |
| parent | 4fed76205fa6215052ff6d83d5ddb6fbdcfaf5dc (diff) | |
| download | buildscripts-5a425eddb3b5fa7e37510ba65719e2e620a3984e.tar.gz buildscripts-5a425eddb3b5fa7e37510ba65719e2e620a3984e.tar.bz2 buildscripts-5a425eddb3b5fa7e37510ba65719e2e620a3984e.zip | |
rather sleep for 300 seconds if our build is blocked
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/build-deb-package | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/build-deb-package b/bin/build-deb-package index 2c435c4..42803dd 100755 --- a/bin/build-deb-package +++ b/bin/build-deb-package @@ -318,8 +318,8 @@ wait_for_lock() { pid=$(head -n1 $LOCK_FILE) if ! ps $pid 1>/dev/null; then rm -f $LOCK_FILE else - echo "PROJECT directory is locked, sleeping for 10 secs..." - sleep 10 + echo "PROJECT directory is locked, sleeping for 5 minutes..." + sleep 300 fi done } |