diff options
| author | Erich Eckner <git@eckner.net> | 2017-10-22 13:21:10 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-10-22 13:21:10 +0200 |
| commit | 0ad4887c5db500e1118e1b6ecae1aec2a9ff3732 (patch) | |
| tree | 6f35103173bc55890a0e7fea688c871f0700af8e | |
| parent | 7a404794defc0ed4e2b07a938f571899f61c93f9 (diff) | |
| download | builder-0ad4887c5db500e1118e1b6ecae1aec2a9ff3732.tar.xz | |
bin/filter-build-logs: sort more intelligently
| -rwxr-xr-x | bin/filter-build-logs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/filter-build-logs b/bin/filter-build-logs index ac4f940..c139f9b 100755 --- a/bin/filter-build-logs +++ b/bin/filter-build-logs @@ -29,6 +29,7 @@ s/^./\0 / ' | \ sort -u | \ + sort -k2,2 -k3,3 -k1,1 -k4 | \ while read -r a b c d; do c="${c%:}" if [ "${c}" = 'E' ]; then |