diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-01-14 20:18:23 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-01-15 00:14:31 +0100 |
| commit | e068f8b550593e4d12bfb6f91ea9f0ecfe9037f5 (patch) | |
| tree | 44a1f5cb53c02fa179b95da075510042ba4eb69d | |
| parent | 81f4bd9db94960e6037d917fe9d6216539d015a3 (diff) | |
| download | jenkins.debian.net-e068f8b550593e4d12bfb6f91ea9f0ecfe9037f5.tar.xz | |
reproducible: common.sh: correctly catch buildinfo file by adding a *
| -rwxr-xr-x | bin/reproducible_common.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index a3bbb9a9..d62570eb 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -289,7 +289,7 @@ publish_page() { } set_package_star() { - if [ -f /var/lib/jenkins/userContent/buildinfo/${PKG}_.buildinfo ] ; then + if [ -f /var/lib/jenkins/userContent/buildinfo/${PKG}_*.buildinfo ] ; then STAR="<span class=\"beta\">β</span>" # used to be a star... else STAR="" |