diff options
| author | Erich Eckner <git@eckner.net> | 2017-11-01 09:15:42 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-11-01 09:15:42 +0100 |
| commit | 305a85e6aefe2cfe2fd283c96f761f6c67083ba0 (patch) | |
| tree | a16cab00d0f9cdb3e9c9754b45b39ccb962c4c6c /bin/get-package-updates | |
| parent | 4faad3f74c7930494fb4251173fad69274a8a96f (diff) | |
| download | builder-305a85e6aefe2cfe2fd283c96f761f6c67083ba0.tar.xz | |
remove residues of break_loop concerning
Diffstat (limited to 'bin/get-package-updates')
| -rwxr-xr-x | bin/get-package-updates | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/bin/get-package-updates b/bin/get-package-updates index 155e4d9..5c83f7f 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -141,10 +141,9 @@ 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. -grep -vxF 'break_loops' \ - "${work_dir}/build-list" > \ - "${work_dir}/build-list.new" || \ - true +cp \ + "${work_dir}/build-list" \ + "${work_dir}/build-list.new" cp \ "${work_dir}/deletion-list" \ "${work_dir}/deletion-list.new" |