diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/build-packages | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/bin/build-packages b/bin/build-packages index b6dad36..a7d9aa1 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -948,7 +948,7 @@ while [ "${count}" -ne 0 ] && \ ;; 1) >&2 echo '"return-assignment" was running already.' - wait_some_time 60 + wait_some_time 30 ;; 2) >&2 echo 'I was too slow, the package is outdated. I will continue ...' @@ -1011,7 +1011,7 @@ while [ "${count}" -ne 0 ] && \ ;; 1) >&2 echo '"return-assignment" was running already.' - wait_some_time 60 + wait_some_time 30 ;; 2) >&2 echo 'I was too slow, the package is outdated. I will continue ...' @@ -1049,7 +1049,7 @@ while [ "${count}" -ne 0 ] && \ >&2 echo 'get-assignment told me:' >&2 echo ' come back (shortly) later - I was running already' - wait_some_time 60 + wait_some_time 30 continue ;; @@ -1059,7 +1059,7 @@ while [ "${count}" -ne 0 ] && \ >&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 + wait_some_time 30 continue ;; |