summaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-05-28 09:39:00 +0200
committerErich Eckner <git@eckner.net>2018-05-28 09:40:33 +0200
commit039b6127f72416f7a2656516f2e70ce19c4343a2 (patch)
tree32bd6e13805e7bc6ba4f596c2bf5d4bbf1a7f8ff /bin
parent5db02ee3b1db056717c247ea9cb722d201c38722 (diff)
downloadbuilder-039b6127f72416f7a2656516f2e70ce19c4343a2.tar.xz
bin/seed-build-list: have standardly ignored packages in conf/seed-ignore-packages
Diffstat (limited to 'bin')
-rwxr-xr-xbin/seed-build-list4
1 files changed, 4 insertions, 0 deletions
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