Home | History | Annotate | Download | only in dist

Lines Matching refs:OPTION

295       # that says an option was ignored or not supported.
297 # icc: Command line warning: ignoring option '-M'; no argument required
299 # icc: Command line remark: option '-MP' not supported
300 if (grep 'ignoring option' conftest.err ||
568 on the command line, even when the '-f' option is present. This is contrary
668 # Add --enable-maintainer-mode option to configure. -*- Autoconf -*-
793 # Helper functions for option handling. -*- Autoconf -*-
808 # Set option NAME. Presently that only means defining a flag for this option.
818 # _AM_IF_OPTION(OPTION, IF-SET, [IF-NOT-SET])
820 # Execute IF-SET if OPTION is set, IF-NOT-SET otherwise.