Inadvertently broken in last commit; the patch to the configure script is fiddly and easily broken, so use extra lines of context for this patch and add a warning comment. Problem reported by James Turner, thanks!
Inadvertently broken in last commit; the patch to the configure script is fiddly and easily broken, so use extra lines of context for this patch and add a warning comment. Problem reported by James Turner, thanks!