On Sun, 2023-01-15 at 14:58 +0100, Bruno Haible wrote: > On Manjaro Linux 17, installed from manjaro-kde-17.1.12-stable- > x86_64.iso, > in 32-bit mode, the build failure reported in > https://lists.gnu.org/archive/html/bug-make/2022-10/msg00212.html > still occurs. Find the build details attached.
I forgot about this one. I think I see the problem here, in configure.ac.