diff options
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'))" |