diff options
| author | Andreas Baumann <mail@andreasbaumann.cc> | 2019-08-03 12:36:59 +0200 |
|---|---|---|
| committer | Andreas Baumann <mail@andreasbaumann.cc> | 2019-08-03 12:36:59 +0200 |
| commit | efcf8ff2a859d8a9dcab96f83f15f90e003be215 (patch) | |
| tree | d60eeb70b2e1af25ed0f6bbe347bbbddabecdb37 | |
| parent | b426ea2edda85fd4e821e106f859eb8d3688bf18 (diff) | |
| download | builder-efcf8ff2a859d8a9dcab96f83f15f90e003be215.tar.xz | |
wait_some_time set back to 30
| -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 ;; |