diff options
Diffstat (limited to 'repos/extra/grub/no-asorti.patch')
| -rwxr-xr-x | repos/extra/grub/no-asorti.patch | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/repos/extra/grub/no-asorti.patch b/repos/extra/grub/no-asorti.patch deleted file mode 100755 index 90834ab4..00000000 --- a/repos/extra/grub/no-asorti.patch +++ /dev/null @@ -1,15 +0,0 @@ -diff --git a/grub-core/genmoddep.awk b/grub-core/genmoddep.awk -index cc987a5..5e9f942 100644 ---- a/grub-core/genmoddep.awk -+++ b/grub-core/genmoddep.awk -@@ -63,9 +63,7 @@ END { - } - modlist = "" - depcount[mod] = 0 -- n = asorti(uniqmods, w) -- for (i = 1; i <= n; i++) { -- depmod = w[i] -+ for (depmod in uniqmods) { - modlist = modlist " " depmod; - inverse_dependencies[depmod] = inverse_dependencies[depmod] " " mod - depcount[mod]++ |