diff options
-rwxr-xr-x | bin/reproducible_stats.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/reproducible_stats.sh b/bin/reproducible_stats.sh index c30a5e2d..fa349fcc 100755 --- a/bin/reproducible_stats.sh +++ b/bin/reproducible_stats.sh @@ -9,6 +9,9 @@ common_init "$@" # common code defining db access . /srv/jenkins/bin/reproducible_common.sh +# cp db away for backup purposes +cp $PACKAGES_DB /var/lib/jenkins/userContent/reproducible.db + set +x declare -A GOOD declare -A BAD |