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 e7e4a373..569cb56d 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -23,7 +23,7 @@ if [ -f $PACKAGES_DB ] && [ -f $INIT ] ; then exit 1 fi fi -elif [ ! -f ${PACKAGES_DB} ] ; then +elif [ ! -f ${PACKAGES_DB} ] && [ "$HOSTNAME" = "jenkins" ] ; then echo "Warning: $PACKAGES_DB doesn't exist, creating it now." /srv/jenkins/bin/reproducible_db_maintenance.py # 60 seconds timeout when trying to get a lock |