diff options
Diffstat (limited to 'fixup_includes')
| -rwxr-xr-x | fixup_includes | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/fixup_includes b/fixup_includes index 159ce3e236..f81b0e1e08 100755 --- a/fixup_includes +++ b/fixup_includes @@ -90,7 +90,14 @@ private=() phase1_flush() { local b=: if [[ ${#system[@]} -gt 0 ]]; then - printf '%s\n' "${system[@]}" | sort -u + if printf '%s\n' "${system[@]}" | grep -F '<linux/if.h>' &>/dev/null; then + # The include order for <linux/if.h> matters. We could + # try to sort it a bit, but let's just trust humans to + # do that. + printf '%s\n' "${system[@]}" + else + printf '%s\n' "${system[@]}" | sort -u + fi b=echo fi if [[ ${#public[@]} -gt 0 ]]; then |