diff options
author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2013-12-03 21:21:40 +0100 |
---|---|---|
committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2013-12-03 21:21:40 +0100 |
commit | 4fed76205fa6215052ff6d83d5ddb6fbdcfaf5dc (patch) | |
tree | 1b47384e558feafc8dc114df99f6f7f409b39dc5 | |
parent | 038242b6272f9fc13a80da7a5935bbe505f3a3c2 (diff) | |
download | buildscripts-4fed76205fa6215052ff6d83d5ddb6fbdcfaf5dc.tar.gz buildscripts-4fed76205fa6215052ff6d83d5ddb6fbdcfaf5dc.tar.bz2 buildscripts-4fed76205fa6215052ff6d83d5ddb6fbdcfaf5dc.zip |
only sleep for 10secs if we really need to sleep more
-rwxr-xr-x | bin/build-deb-package | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/bin/build-deb-package b/bin/build-deb-package index 1e9a0bb..2c435c4 100755 --- a/bin/build-deb-package +++ b/bin/build-deb-package @@ -317,8 +317,10 @@ wait_for_lock() { while [ -f $LOCK_FILE ]; do 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..."; fi - sleep 10 + else + echo "PROJECT directory is locked, sleeping for 10 secs..." + sleep 10 + fi done } |