Hi! On Sat, 2023-07-22 at 12:16 +0200, John Paul Adrian Glaubitz wrote: > Hi! > > The current build of grub fails on ia64 with: > (...) > Any idea?
OK, seems like this was just related to mawk vs. gawk. Builds fine with gawk. Adrian -- .''`. John Paul Adrian Glaubitz : :' : Debian Developer `. `' Physicist `- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913