From 039b6127f72416f7a2656516f2e70ce19c4343a2 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Mon, 28 May 2018 09:39:00 +0200
Subject: bin/seed-build-list: have standardly ignored packages in
 conf/seed-ignore-packages

---
 bin/seed-build-list | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'bin/seed-build-list')

diff --git a/bin/seed-build-list b/bin/seed-build-list
index 6babca8..2d636b8 100755
--- a/bin/seed-build-list
+++ b/bin/seed-build-list
@@ -59,6 +59,10 @@ auto=false
 update=true
 wait_for_lock='-n'
 
+if [ -r "${base_dir}/conf/seed-ignore-packages" ]; then
+  cp "${base_dir}/conf/seed-ignore-packages" "${tmp_dir}/ignore-packages"
+fi
+
 while true
 do
   case "$1" in
-- 
cgit v1.2.3-54-g00ecf