diff options
| 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 | |
| parent | 5db02ee3b1db056717c247ea9cb722d201c38722 (diff) | |
| download | builder-039b6127f72416f7a2656516f2e70ce19c4343a2.tar.xz | |
bin/seed-build-list: have standardly ignored packages in conf/seed-ignore-packages
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/seed-build-list | 4 |
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 |