diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-08-01 14:07:26 +0000 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-08-01 16:10:59 +0200 |
| commit | c8067df0a32cf4c58dc2d432937d9723acc383de (patch) | |
| tree | 741f9a80adab79598100f3a87962e84e51d370a1 /bin | |
| parent | 8654be99250d36fd3b8f83e2e547da7c3e4d5436 (diff) | |
| download | jenkins.debian.net-c8067df0a32cf4c58dc2d432937d9723acc383de.tar.xz | |
reproducible: build: s/retried/rescheduled/
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index 0ebb6aa0..7d516941 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -200,7 +200,7 @@ handle_404() { handle_depwait() { echo "Downloading the build dependencies failed" | tee -a "$RBUILDLOG" echo "Maybe there was a network problem, or the build dependencies are currently uninstallable; consider filing a bug in the last case." | tee -a "$RBUILDLOG" - echo "Network problems are automatically retried after some hours." | tee -a "$RBUILDLOG" + echo "Network problems are automatically rescheduled after some hours." | tee -a "$RBUILDLOG" calculate_build_duration update_db_and_html "depwait" if [ $SAVE_ARTIFACTS -eq 1 ] ; then SAVE_ARTIFACTS=0 ; fi |