Lines Matching full:checker
1495 --enable-checker build checker libraries
4674 # Check whether --enable-checker was given.
4680 { $as_echo "$as_me:${as_lineno-$LINENO}: result: Disabling checker libraries" >&5
4681 $as_echo "Disabling checker libraries" >&6; }
4684 MAKEFILE_CHECKER=$srcdir/lib/Makefile.checker
4685 { $as_echo "$as_me:${as_lineno-$LINENO}: result: Building checker libraries" >&5
4686 $as_echo "Building checker libraries" >&6; }
4692 { $as_echo "$as_me:${as_lineno-$LINENO}: result: Disabling checker libraries by default" >&5
4693 $as_echo "Disabling checker libraries by default" >&6; }
