diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-08-01 13:37:30 +0000 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-08-01 15:45:23 +0200 |
| commit | b69de40bb00cf300dc81b1b917469e4e8a193371 (patch) | |
| tree | 947791e739d28497046832fe025294ca435adc4f /bin | |
| parent | 16ae79420a63c498514e39abcc4a1cd5a53b3a22 (diff) | |
| download | jenkins.debian.net-b69de40bb00cf300dc81b1b917469e4e8a193371.tar.xz | |
reproducible: build: also send those messages to the rbuild
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_build.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index e05cd5c8..0ebb6aa0 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -199,8 +199,8 @@ 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." - echo "Network problems are automatically retried after some hours." + 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" calculate_build_duration update_db_and_html "depwait" if [ $SAVE_ARTIFACTS -eq 1 ] ; then SAVE_ARTIFACTS=0 ; fi |