Lines Matching defs:report
1562 as_fn_error $? "pwd does not report name of working directory"
1748 --enable-full-report report values of all configure options
1844 # If there are subdirs, report their specific --help.
7648 *** may want to report the problem to your system manager and/or to
7714 *** may want to report the problem to your system manager and/or to
24373 # report actual input values of CONFIG_FILES etc. instead of their
26316 # Check whether --enable-full-report was given.
26322 report() {
26342 # these lines are only printed if run with --enable-full-report
26466 echo "For more detail, use --enable-full-report."
26472 report