11462 enable smatch by default

*** 82,93 ****
  export PRIMARY_CCS=gcc7,$GNUC_ROOT/bin/gcc,gnu
  export PRIMARY_CCCS=gcc7,$GNUC_ROOT/bin/g++,gnu
  export SHADOW_CCS=gcc4,/opt/gcc/4.4.4/bin/gcc,gnu
  export SHADOW_CCCS=gcc4,/opt/gcc/4.4.4/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=
  
--- 82,93 ----
  export PRIMARY_CCS=gcc7,$GNUC_ROOT/bin/gcc,gnu
  export PRIMARY_CCCS=gcc7,$GNUC_ROOT/bin/g++,gnu
  export SHADOW_CCS=gcc4,/opt/gcc/4.4.4/bin/gcc,gnu
  export SHADOW_CCCS=gcc4,/opt/gcc/4.4.4/bin/g++,gnu
  
! # comment to disable 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=