index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2018-05-28 09:39:00 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-05-28 09:40:33 +0200 |
commit | 039b6127f72416f7a2656516f2e70ce19c4343a2 (patch) | |
tree | 32bd6e13805e7bc6ba4f596c2bf5d4bbf1a7f8ff /bin/seed-build-list | |
parent | 5db02ee3b1db056717c247ea9cb722d201c38722 (diff) |
-rwxr-xr-x | bin/seed-build-list | 4 |
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 |