Lines Matching refs:checker
1448 --enable-checker build checker libraries
4825 # Check whether --enable-checker was given.
4831 { $as_echo "$as_me:${as_lineno-$LINENO}: result: Disabling checker libraries" >&5
4832 $as_echo "Disabling checker libraries" >&6; }
4835 MAKEFILE_CHECKER=$srcdir/lib/Makefile.checker
4836 { $as_echo "$as_me:${as_lineno-$LINENO}: result: Building checker libraries" >&5
4837 $as_echo "Building checker libraries" >&6; }
4843 { $as_echo "$as_me:${as_lineno-$LINENO}: result: Disabling checker libraries by default" >&5
4844 $as_echo "Disabling checker libraries by default" >&6; }
