diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-12-12 10:45:37 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-12-12 10:45:37 +0100 |
commit | 1ad6c347c0ce08cfde59c6f64166715dd0ccd048 (patch) | |
tree | 879cde9beffe826833f63f288bacb1923670a7b9 /bin/reproducible_html_archlinux.sh | |
parent | 866c0c89c8e54df7ff53bfb841a436054943cdf6 (diff) | |
download | jenkins.debian.net-1ad6c347c0ce08cfde59c6f64166715dd0ccd048.tar.xz |
reproducible archlinux: refactor and kill build after 8 (instead of 4) hours
Diffstat (limited to 'bin/reproducible_html_archlinux.sh')
-rwxr-xr-x | bin/reproducible_html_archlinux.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/reproducible_html_archlinux.sh b/bin/reproducible_html_archlinux.sh index a92497b8..8c1f0954 100755 --- a/bin/reproducible_html_archlinux.sh +++ b/bin/reproducible_html_archlinux.sh @@ -76,9 +76,9 @@ for REPOSITORY in $ARCHLINUX_REPOS ; do elif [ ! -z "$(egrep '==> ERROR: One or more files did not pass the validity check' $ARCHBASE/$REPOSITORY/$PKG/build1.log)" ] ; then HTML_TARGET=$HTML_FTBFS echo " <img src=\"/userContent/static/weather-storm.png\" alt=\"ftbfs icon\" /> failed to verify source" >> $HTML_BUFFER - elif [ ! -z "$(egrep 'makepkg was killed by timeout after 4h' $ARCHBASE/$REPOSITORY/$PKG/build1.log)" ] ; then + elif [ ! -z "$(egrep 'makepkg was killed by timeout after' $ARCHBASE/$REPOSITORY/$PKG/build1.log)" ] ; then HTML_TARGET=$HTML_FTBFS - echo " <img src=\"/userContent/static/weather-storm.png\" alt=\"ftbfs icon\" /> failed to build, killed by timeout after 4h" >> $HTML_BUFFER + echo " <img src=\"/userContent/static/weather-storm.png\" alt=\"ftbfs icon\" /> failed to build, killed by timeout" >> $HTML_BUFFER else echo " probably failed to build from source, please investigate" >> $HTML_BUFFER HTML_TARGET=$HTML_UNKNOWN |