diff options
| author | Holger Levsen <holger@layer-acht.org> | 2014-10-17 22:47:13 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2014-10-17 22:47:13 +0200 |
| commit | 83c397b7e5178eca9c4ad1e6d9856ceef284af55 (patch) | |
| tree | 1781d1b8440ecb1155b3c60e485fe5b51840ecbf | |
| parent | 7406d5ea8bcd5a7eb058b32d6e6460bb9f761018 (diff) | |
| download | jenkins.debian.net-83c397b7e5178eca9c4ad1e6d9856ceef284af55.tar.xz | |
reproducible: refactor, cache information whether .buildinfo file exist
| -rwxr-xr-x | bin/reproducible_common.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 7321bf70..d7975ea6 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -241,7 +241,7 @@ publish_page() { } set_package_star() { - if [ ! -z "$(find /var/lib/jenkins/userContent/buildinfo/ -name ${PKG}_*_amd64.buildinfo)" ] ; then + if [ -f /var/lib/jenkins/userContent/buildinfo/${SRCPACKAGE}_.buildinfo ] ; then STAR="<span class=\"beta\">β</span>" # used to be a star... else STAR="" @@ -318,6 +318,10 @@ process_packages() { NOTES_LINK=" <a href=\"$JENKINS_URL/userContent/notes/${PKG}_note.html\" target=\"main\">notes</a> " fi set_package_star + if [ -f "/var/lib/jenkins/userContent/buildinfo/${PKG}_${EVERSION}_amd64.buildinfo" ] ; then + STAR="has buildinfo" + touch /var/lib/jenkins/userContent/buildinfo/${PKG}_.buildinfo + fi init_pkg_page "$PKG" "$VERSION" "$STATUS" "$BUILD_DATE" "$STAR" append2pkg_page "${NOTES_LINK}" if [ -f "/var/lib/jenkins/userContent/buildinfo/${PKG}_${EVERSION}_amd64.buildinfo" ] ; then |