diff options
Diffstat (limited to 'bin')
| -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 9bd0b341..03fd4972 100755 --- a/bin/reproducible_setup.sh +++ b/bin/reproducible_setup.sh @@ -41,11 +41,14 @@ cat >/var/lib/jenkins/reproducible.init <<-EOF .timeout 60000 EOF +set +x # blacklist some packages for PKG in linux cups zurl openclipart eigen3 xmds2 ; do RESULT=$(sqlite3 -init $INIT $PACKAGES_DB " SELECT name FROM source_packages WHERE status = 'blacklisted' AND name = '$PKG'") if [ "$RESULT" = "" ] ; then + set -x sqlite3 -init $INIT $PACKAGES_DB "REPLACE into source_packages VALUES ('$PKG','0','blacklisted',date('now'))" + set +x fi done |