index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Andreas Baumann <mail@andreasbaumann.cc> | 2019-07-19 14:11:07 +0200 |
---|---|---|
committer | Andreas Baumann <mail@andreasbaumann.cc> | 2019-07-19 14:11:07 +0200 |
commit | 9543b27cf3737c8f2b52cf0b9824fd0c9fc0b595 (patch) | |
tree | fefde733299e776b2f2c19dabcbbd3f00c14a9c5 /bin | |
parent | 35b67857937a8b92b70ac147ebafc03f3d2cecf4 (diff) |
-rwxr-xr-x | bin/build-packages | 6 |
diff --git a/bin/build-packages b/bin/build-packages index a54287a..b6dad36 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 15 + wait_some_time 60 ;; 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 15 + wait_some_time 60 ;; 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 15 + wait_some_time 60 continue ;; |