diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-10-19 08:44:56 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-10-19 08:44:56 +0200 |
commit | a0ed68d5118f3037baceecb1a0699130e23bfc6d (patch) | |
tree | caa5508df174ed6dffb68f8bbcc1ce1157d68507 /bin | |
parent | d6fee5ce3f96f9e7b014f5278e3eaac38dd3dace (diff) | |
download | jenkins.debian.net-a0ed68d5118f3037baceecb1a0699130e23bfc6d.tar.xz |
shorten text
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/reproducible_html_archlinux.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_html_archlinux.sh b/bin/reproducible_html_archlinux.sh index 05d3bd5d..dd29ba73 100755 --- a/bin/reproducible_html_archlinux.sh +++ b/bin/reproducible_html_archlinux.sh @@ -61,7 +61,7 @@ for PKG in $(find $ARCHBASE/* -maxdepth 1 -type d -exec basename {} \;) ; do elif [ ! -z "$(egrep '==> ERROR: One or more files did not pass the validity check' $ARCHBASE/$PKG/build1.log)" ] ; then write_page " <td>failed to verify source</td>" elif [ ! -z "$(egrep 'makepkg was killed by timeout after 4h' $ARCHBASE/$PKG/build1.log)" ] ; then - write_page " <td>failed to build, as it was killed by timeout after 4h</td>" + write_page " <td>failed to build, killed by timeout after 4h</td>" else write_page " <td>probably failed to build from source, please investigate</td>" fi |