diff options
| -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 d7975ea6..1a30bbaa 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -241,7 +241,7 @@ publish_page() { } set_package_star() { - if [ -f /var/lib/jenkins/userContent/buildinfo/${SRCPACKAGE}_.buildinfo ] ; then + if [ -f /var/lib/jenkins/userContent/buildinfo/${PKG}_.buildinfo ] ; then STAR="<span class=\"beta\">β</span>" # used to be a star... else STAR="" |