Re: print warning for unrecognized --enable and --with options

[Eric Blake]

Steven G. Johnson <stevenj <at> alum.mit.edu> writes:

> Another glitch: if you aren't preserving the help order, you need to 
> print this information to the HELP_ENABLE diversion.  The attached patch 
> fixes this.

This still doesn't quite work.  Right now, I took CVS autoconf, installed it, 
and ran autoreconf to regenerate configure with the latest version of this 
patch.  However, I am still getting:

$ ./configure --help=short | grep -- -option
$ ./configure --help | grep -- -option

We need to convince autoconf that if --enable-option-checking is the only --
enable argument, it still needs to be listed.

-- 
Eric Blake