diff options
Diffstat (limited to 'bin/reproducible_common.sh')
| -rwxr-xr-x | bin/reproducible_common.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 775033c7..f00a4797 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -100,6 +100,10 @@ elif [ ! -f ${PACKAGES_DB} ] ; then EOF fi +# common variables +DBDCHROOT_READLOCK=/var/lib/jenkins/reproducible-dbdchroot.readlock +DBDCHROOT_WRITELOCK=/var/lib/jenkins/reproducible-dbdchroot.writelock + # shop trailing slash JENKINS_URL=${JENKINS_URL:0:-1} |