On Sep 4, 2009, at 7:13 AM, David Robertson wrote:

Perhaps it should be taken out of the help message in the configure
script then.


We can't; it's part of the built-in Autoconf options.  :-(

--
Jeff Squyres
jsquy...@cisco.com

Reply via email to