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

8.5.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 Davide on March, 6 2002 using texi2html