diff options
Diffstat (limited to 'bin/reproducible_stats.sh')
| -rwxr-xr-x | bin/reproducible_stats.sh | 18 |
1 files changed, 3 insertions, 15 deletions
diff --git a/bin/reproducible_stats.sh b/bin/reproducible_stats.sh index 933a666d..434cd885 100755 --- a/bin/reproducible_stats.sh +++ b/bin/reproducible_stats.sh @@ -6,22 +6,10 @@ . /srv/jenkins/bin/common-functions.sh common_init "$@" -set +x -# 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 stats 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 +set +x declare -A GOOD declare -A BAD declare -A UGLY |