diff options
Diffstat (limited to 'bin/reproducible_build.sh')
| -rwxr-xr-x | bin/reproducible_build.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index 9606c606..421a426d 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -194,9 +194,8 @@ for SRCPACKAGE in ${PACKAGES} ; do else cp b1/${BUILDINFO} /var/lib/jenkins/userContent/buildinfo/ || true if [ -f ./${LOGFILE} ] ; then - # hack around html file to include custom .css + # FIXME: work around debbindiff not having external CSS support (#764470) # should really be fixed in debbindiff and just moved.... - # FIXME: file a bug against debbindiff for external CSS support if grep -q "Generated by debbindiff 3" ./${LOGFILE} ; then sed '/\<style\>/,/<\/style>/{//!d}' ./${LOGFILE} |grep -v "style>" | sed -s 's#</head># <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />\n <link href="../static/style_dbd.css" type="text/css" rel="stylesheet" />\n</head>#' > /var/lib/jenkins/userContent/dbd/${LOGFILE} else |