On Thu, 11 Jun 2015, Martin Sebor wrote: > Attached is a simple patch that implements this detection. The > patch also updates the INSTALL file to mention this caveat and INSTALL is a generated file. You need to update install.texi and regenerate INSTALL. -- Joseph S. Myers joseph@codesourcery.com