summaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2015-12-18 13:55:58 +0100
committerHolger Levsen <holger@layer-acht.org>2015-12-18 13:55:58 +0100
commitf180817ec825980b315ba0ac073ceff2d67a2766 (patch)
tree713df0d6be335a35647cfd480b07f6166a703c6d /bin
parente0d507dbbf01e50a4df33d57b5e526aad6189be7 (diff)
downloadjenkins.debian.net-f180817ec825980b315ba0ac073ceff2d67a2766.tar.xz
reproducible archlinux: simple optimisation
Diffstat (limited to 'bin')
-rwxr-xr-xbin/reproducible_html_archlinux.sh12
1 files changed, 6 insertions, 6 deletions
diff --git a/bin/reproducible_html_archlinux.sh b/bin/reproducible_html_archlinux.sh
index 1226581f..cbad37e8 100755
--- a/bin/reproducible_html_archlinux.sh
+++ b/bin/reproducible_html_archlinux.sh
@@ -58,9 +58,9 @@ for REPOSITORY in $ARCHLINUX_REPOS ; do
HTML_TARGET=${HTML_404[0]}
EXTRA_REASON=""
let NR_404+=1
- if [ ! -z "$(grep 'SSL certificate problem: unable to get local issuer certificate' $ARCHBASE/$REPOSITORY/$PKG/build1.log)" ] ; then
- HTML_TARGET=${HTML_404[1]}
- EXTRA_REASON="with SSL certificate problem"
+ if [ ! -z "$(grep 'FAILED (unknown public key' $ARCHBASE/$REPOSITORY/$PKG/build1.log)" ] ; then
+ HTML_TARGET=${HTML_404[6]}
+ EXTRA_REASON="to verify source with PGP due to unknown public key"
elif [ ! -z "$(grep 'The requested URL returned error: 404' $ARCHBASE/$REPOSITORY/$PKG/build1.log)" ] ; then
HTML_TARGET=${HTML_404[3]}
EXTRA_REASON="with 404 - file not found"
@@ -73,12 +73,12 @@ for REPOSITORY in $ARCHLINUX_REPOS ; do
elif [ ! -z "$(grep 'The requested URL returned error: 503' $ARCHBASE/$REPOSITORY/$PKG/build1.log)" ] ; then
HTML_TARGET=${HTML_404[5]}
EXTRA_REASON="with 503 - service unavailable"
- elif [ ! -z "$(grep 'FAILED (unknown public key' $ARCHBASE/$REPOSITORY/$PKG/build1.log)" ] ; then
- HTML_TARGET=${HTML_404[6]}
- EXTRA_REASON="to verify source with PGP due to unknown public key"
elif [ ! -z "$(egrep '==> ERROR: One or more PGP signatures could not be verified' $ARCHBASE/$REPOSITORY/$PKG/build1.log)" ] ; then
HTML_TARGET=${HTML_404[7]}
EXTRA_REASON="to verify source with PGP signatures"
+ elif [ ! -z "$(grep 'SSL certificate problem: unable to get local issuer certificate' $ARCHBASE/$REPOSITORY/$PKG/build1.log)" ] ; then
+ HTML_TARGET=${HTML_404[1]}
+ EXTRA_REASON="with SSL certificate problem"
fi
echo " <img src=\"/userContent/static/weather-severe-alert.png\" alt=\"404 icon\" /> download failed $EXTRA_REASON" >> $HTML_BUFFER
elif [ ! -z "$(egrep '==> ERROR: One or more files did not pass the validity check' $ARCHBASE/$REPOSITORY/$PKG/build1.log)" ] ; then