diff options
Diffstat (limited to 'bin/reproducible_build.sh')
| -rwxr-xr-x | bin/reproducible_build.sh | 16 |
1 files changed, 2 insertions, 14 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index 4682f15a..0ecfb10d 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -6,20 +6,8 @@ . /srv/jenkins/bin/common-functions.sh common_init "$@" -# define db -PACKAGES_DB=/var/lib/jenkins/reproducible.db -INIT=/var/lib/jenkins/reproducible.init -if [ ! -f $PACKAGES_DB ] ; then - echo "$PACKAGES_DB doesn't exist, no builds possible." - exit 1 -elif [ -f $PACKAGES_DB.lock ] ; then - for i in $(seq 0 100) ; do - sleep 15 - [ -f $PACKAGES_DB.lock ] || break - done - echo "$PACKAGES_DB.lock still exist, exiting." - exit 1 -fi +# common code defining db access +. /srv/jenkins/bin/reproducible_common.sh # create dirs for results mkdir -p /var/lib/jenkins/userContent/dbd/ /var/lib/jenkins/userContent/buildinfo/ /var/lib/jenkins/userContent/rbuild/ |