Next: , Previous: , Up: Programmatic Interface   [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.
}