Lines Matching defs:options
176 * the prologue, which is where they belong. If they're changed (by options), an
180 * other options.
254 static void options(void);
285 options(); /* handle the command line options */
373 options(void)
379 * Reads and processes the command line options. Added the -P option so arbitrary
381 * definitions in the prologue for which options have not been defined.
493 } /* End of options */
504 * Handles things that must be done after the options are read but before the
594 * is requested using the -A or -J options.