Lines Matching refs:statistics
1545 --disable-statistics Do not build statistics support.
2352 { echo "$as_me:$LINENO: checking if --disable-statistics option specified" >&5
2353 echo $ECHO_N "checking if --disable-statistics option specified... $ECHO_C" >&6; }
2354 # Check whether --enable-statistics was given.
35826 # The statistics code can be disabled.