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/delete-packages | |
| parent | 4faad3f74c7930494fb4251173fad69274a8a96f (diff) | |
| download | builder-305a85e6aefe2cfe2fd283c96f761f6c67083ba0.tar.xz | |
remove residues of break_loop concerning
Diffstat (limited to 'bin/delete-packages')
| -rwxr-xr-x | bin/delete-packages | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/delete-packages b/bin/delete-packages index 9703804..752c3fa 100755 --- a/bin/delete-packages +++ b/bin/delete-packages @@ -210,8 +210,8 @@ exit 42 # # # packages still on the build-list # -# grep -vxF 'break_loops' "${work_dir}/build-list" | \ -# tr ' ' '.' | \ +# tr ' ' '.' < \ +# "${work_dir}/build-list" | \ # sort -u > \ # "${tmp_dir}/keep-packages" # |