diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2013-12-03 21:16:59 +0100 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2013-12-03 21:16:59 +0100 |
| commit | 038242b6272f9fc13a80da7a5935bbe505f3a3c2 (patch) | |
| tree | 204a30cf6f1fedf95c5e435ff51d4f10f4004c82 | |
| parent | a19149f73e87efb7751616081446ec227e8cbcf1 (diff) | |
| download | buildscripts-038242b6272f9fc13a80da7a5935bbe505f3a3c2.tar.gz buildscripts-038242b6272f9fc13a80da7a5935bbe505f3a3c2.tar.bz2 buildscripts-038242b6272f9fc13a80da7a5935bbe505f3a3c2.zip | |
fix wait_for_lock
| -rwxr-xr-x | bin/build-deb-package | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/build-deb-package b/bin/build-deb-package index b85afe7..1e9a0bb 100755 --- a/bin/build-deb-package +++ b/bin/build-deb-package @@ -314,7 +314,7 @@ upload_packages() { } wait_for_lock() { - while $LOCK_FILE; do + 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 |