diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-20 09:01:35 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-20 09:01:35 +0200 |
| commit | 05e3561b3df4078a33865913d8135dbfe4ad5809 (patch) | |
| tree | 9afde5a0c4d87187cc6e193c3666eb77a6a9a4cd /bin/get-package-updates | |
| parent | 797adfe1c1f26c57d31bc7b1b67e54d36257806f (diff) | |
| download | builder-05e3561b3df4078a33865913d8135dbfe4ad5809.tar.xz | |
hand out broken packages multiple times
Diffstat (limited to 'bin/get-package-updates')
| -rwxr-xr-x | bin/get-package-updates | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/bin/get-package-updates b/bin/get-package-updates index 35afbe1..d1ceaaa 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -123,9 +123,10 @@ echo 'Check modified packages from the last update, and put them to the build li # If a package is deleted, remove from the rebuild list, and add it to the deletion list. # If a new package is added, then ensure that it's not on the deletion list. -cp \ - "${work_dir}/build-list" \ - "${work_dir}/build-list.new" +grep -vxF 'break_loops' \ + "${work_dir}/build-list" > \ + "${work_dir}/build-list.new" || \ + true cp \ "${work_dir}/deletion-list" \ "${work_dir}/deletion-list.new" @@ -326,6 +327,10 @@ if [ -s "${work_dir}/tsort.error" ]; then "${work_dir}/build-list.loops.new/${loop}" done + # add order to break loops to build list + echo 'break_loops' >> + "${work_dir}/build-list.new.new" + else rm "${work_dir}/tsort.error" fi |