diff options
author | Holger Levsen <holger@layer-acht.org> | 2014-10-10 17:42:51 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2014-10-10 17:42:51 +0200 |
commit | b7b6f24f85a6c2fdeae31e9f0de9f73fe906ec7a (patch) | |
tree | 8018092e027d9f5dd0f57d1073d876b41c49cd20 /bin/reproducible_setup.sh | |
parent | a177e730835e097c4b9ff536c86396a1ca0944b8 (diff) | |
download | jenkins.debian.net-b7b6f24f85a6c2fdeae31e9f0de9f73fe906ec7a.tar.xz |
reproducible: blacklist eigen3
Diffstat (limited to 'bin/reproducible_setup.sh')
-rwxr-xr-x | bin/reproducible_setup.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_setup.sh b/bin/reproducible_setup.sh index 35d35989..2ea044c9 100755 --- a/bin/reproducible_setup.sh +++ b/bin/reproducible_setup.sh @@ -34,7 +34,7 @@ cat >/var/lib/jenkins/reproducible.init <<-EOF EOF # blacklist some packages -for PKG in linux cups zurl openclipart ; do +for PKG in linux cups zurl openclipart eigen3 ; do RESULT=$(sqlite3 -init $INIT $PACKAGES_DB " SELECT name FROM source_packages WHERE status = 'blacklisted' AND name = '$PKG'") if [ "$RESULT" = "" ] ; then sqlite3 -init $INIT $PACKAGES_DB "REPLACE into source_packages VALUES ('$PKG','0','blacklisted',date('now'))" |