Re: [Pki-devel] [PATCH] 35 Added option to build without Javadoc.

> It seems to be a feature of the getopt. According to getopt man page: > > Long options may be abbreviated, as long as the abbreviation is > not ambiguous. > > There's already a request to allow disabling abbreviation, but it > won't be fixed: > > http://sourceware.org/bugzilla/show_bug.cgi?id=6863 > > I've tested adding another option (e.g. --without-test). If you > specify an abbreviated option (e.g. --without) it will find the first > defined option that matches it (e.g. --without-javadoc) even thought > it could be considered ambiguous. > okay -- looks like there is no intention to fix this. Go ahead and check this in.