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 d62570eb..14384c3e 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="" |