diff options
Diffstat (limited to 'bin/reproducible_setup.sh')
| -rwxr-xr-x | bin/reproducible_setup.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/reproducible_setup.sh b/bin/reproducible_setup.sh index 5466f755..c89be793 100755 --- a/bin/reproducible_setup.sh +++ b/bin/reproducible_setup.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 # blacklist some packages for PKG in linux cups zurl openclipart eigen3 xmds2 ; do |