diff options
Diffstat (limited to 'bin/reproducible_setup.sh')
-rwxr-xr-x | bin/reproducible_setup.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/bin/reproducible_setup.sh b/bin/reproducible_setup.sh index f5cab3d8..6075789f 100755 --- a/bin/reproducible_setup.sh +++ b/bin/reproducible_setup.sh @@ -9,9 +9,6 @@ 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 |