diff options
author | Erich Eckner <git@eckner.net> | 2017-06-21 10:24:25 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-06-21 10:24:25 +0200 |
commit | 0b14863a04336dfe3cbcac3ec2ab995c39448313 (patch) | |
tree | 297246d7500959e0fc705f58202a6012d04b7b01 /bin/build-packages | |
parent | e9949d993c83044d709163dc218457630b2847a9 (diff) | |
download | builder-0b14863a04336dfe3cbcac3ec2ab995c39448313.tar.xz |
bin/build-packages: be more verbose when waiting for other processes
Diffstat (limited to 'bin/build-packages')
-rwxr-xr-x | bin/build-packages | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/bin/build-packages b/bin/build-packages index 101a32c..db88ce5 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -217,7 +217,7 @@ while [ ${count} -ne 0 ]; do break ;; 1) - # 'return-assignment' was running already + >&2 echo '"return-assignment" was running already.' wait_some_time 15 ;; 2) @@ -270,8 +270,9 @@ while [ ${count} -ne 0 ]; do ;; - # 1: come back (shortly) later - I was running already 1) + >&2 echo 'get-assignment told me:' + >&2 echo ' come back (shortly) later - I was running already' wait_some_time 15 continue ;; @@ -279,15 +280,17 @@ while [ ${count} -ne 0 ]; do # 2: come back later - there are still packages to be built, # but currently none has all its dependencies ready 2) + >&2 echo 'get-assignment told me:' + >&2 echo ' 2: come back later - there are still packages to be built,' + >&2 echo ' but currently none has all its dependencies ready' wait_some_time 60 continue ;; - # 3: come back after the next run of get-package-updates - currently - # there are no pending packages 3) - - >&2 echo 'Done. No more packages left to build.' + >&2 echo 'get-assignment told me:' + >&2 echo ' 3: come back after the next run of get-package-updates - currently' + >&2 echo ' there are no pending packages' exit 0 ;; |