diff options
| author | Holger Levsen <holger@layer-acht.org> | 2014-10-07 15:08:35 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2014-10-07 15:08:35 +0200 |
| commit | 62338e37c92e6f6b9ec55ac8d4ca49aeab64822c (patch) | |
| tree | a76146733ec82d775aca1dfdb04d6131d69d1f60 /bin | |
| parent | d430feca38522e1bcfdae4a264ad10134ca87ca5 (diff) | |
| download | jenkins.debian.net-62338e37c92e6f6b9ec55ac8d4ca49aeab64822c.tar.xz | |
reproducible: quote properly
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_stats.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/reproducible_stats.sh b/bin/reproducible_stats.sh index 4dd5af2d..4f6f3a6a 100755 --- a/bin/reproducible_stats.sh +++ b/bin/reproducible_stats.sh @@ -88,7 +88,8 @@ link_packages() { fi NAVI="/var/lib/jenkins/userContent/rb-pkg/$1_navigation.html" # only build $PKG pages if they don't exist or are older than $BUILD_DATE - if [ ! -f $NAVI ] || [ "$(find ! -newermt '$BUILD_DATE' -name $NAVI)" != "" ] ; then + FILE=$(find ! -newermt "$BUILD_DATE" -name $NAVI) + if [ ! -f $NAVI ] || [ "$FILE" != "" ] ; then MAINLINK="" init_navi_frame "$PKG" "$VERSION" "$BUILD_DATE" if [ -f "/var/lib/jenkins/userContent/buildinfo/${PKG}_${EVERSION}_amd64.buildinfo" ] ; then |