diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/patchfns.in | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/scripts/patchfns.in b/scripts/patchfns.in index 8b58946..1ef7825 100644 --- a/scripts/patchfns.in +++ b/scripts/patchfns.in @@ -506,10 +506,16 @@ files_in_patch_ordered() } } END { + i = 1 for (file in files) { - if (!(file in printed)) - print file + if (!(file in printed)) { + new_files[i]=file + i++ + } } + n = asort(new_files) + for (i=1; i<=n; i++) + print new_files[i] } ' } |