On 3/16/20 5:34 PM, John David Anglin wrote: > With patch, I get following error:
See [1], the build system is not very smart, unfortunately. Adrian > [1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=939453 -- .''`. John Paul Adrian Glaubitz : :' : Debian Developer - glaub...@debian.org `. `' Freie Universitaet Berlin - glaub...@physik.fu-berlin.de `- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913