Print this page
10063 basic support for smatch
10153 checkpaths shouldn't check packaging exceptions

*** 79,88 **** --- 79,91 ---- # To disable shadow compilation, unset SHADOW_* or set them to the empty string. # export SHADOW_CCS=gcc7,/usr/gcc/7/bin/gcc,gnu export SHADOW_CCCS=gcc7,/usr/gcc/7/bin/g++,gnu + # uncomment to enable smatch + #export ENABLE_SMATCH=1 + # Comment this out to disable support for SMB printing, i.e. if you # don't want to bother providing the CUPS headers this needs. export ENABLE_SMB_PRINTING= # If your distro uses certain versions of Perl, make sure either Makefile.master
*** 271,275 **** --- 274,283 ---- #export LINTDIRS="$SRC y" # Set this flag to 'n' to disable the use of 'checkpaths'. The default, # if the 'N' option is not specified, is to run this test. #CHECK_PATHS='y' + + if [[ "$ENABLE_SMATCH" = "1" ]]; then + SMATCHBIN=$CODEMGR_WS/usr/src/tools/proto/root_$MACH-nd/opt/onbld/bin/$MACH/smatch + export SHADOW_CCS="$SHADOW_CCS smatch,$SMATCHBIN,smatch" + fi