diff options
| -rwxr-xr-x | bin/reproducible_scheduler.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_scheduler.sh b/bin/reproducible_scheduler.sh index 19b43368..db375b12 100755 --- a/bin/reproducible_scheduler.sh +++ b/bin/reproducible_scheduler.sh @@ -149,7 +149,7 @@ schedule_packages() { deselect_old_with_buildinfo() { PACKAGES="" - for PKG in $1 do ; + for PKG in $1 ; do if [ ! -f /var/lib/jenkins/userContent/buildinfo/${PKG}_.buildinfo ] ; then PACKAGES="$PACKAGES $PKG" else |