Lines Matching refs:diagnostic
1552 --enable-diagnostic Build a version with run-time diagnostics.
2446 { echo "$as_me:$LINENO: checking if --enable-diagnostic option specified" >&5
2447 echo $ECHO_N "checking if --enable-diagnostic option specified... $ECHO_C" >&6; }
2448 # Check whether --enable-diagnostic was given.
35872 # itself, various diagnostic modes use them.