[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

7.6.3 COUNT_OPT( <NAME> ) - Definition Count

This macro will tell you how many times the option was specified on the command line. It does not include counts of preset options.

 
if (COUNT_OPT( NAME ) != desired-count) {
    make-an-undesirable-message.
}

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