7.6.9 HAVE_OPT( <NAME> ) - Have this option?

This macro yields true if the option has been specified in any fashion at all. It is used thus:

if (HAVE_OPT( NAME )) {
    <do-things-associated-with-opt-name>;
}

This document was generated by Bruce Korb on August 21, 2015 using texi2html 1.82.