diff options
| author | Holger Levsen <holger@layer-acht.org> | 2014-10-13 13:26:11 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2014-10-13 13:26:11 +0200 |
| commit | be8d0fedacc39c3dfa8aaadb622ea0197803d3c8 (patch) | |
| tree | 327f1f9b9752cd56f89e664cdbdbced720df994c | |
| parent | d4819730d976cfc80d3e0a6a1513dbc0ced863e4 (diff) | |
| download | jenkins.debian.net-be8d0fedacc39c3dfa8aaadb622ea0197803d3c8.tar.xz | |
reproducible: be less verbose
| -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 |