10080 smatch Makefile changes for usr/src/cmd

*** 20,29 ****
--- 20,30 ----
  #
  #
  # Copyright 2010 Sun Microsystems, Inc.  All rights reserved.
  # Use is subject to license terms.
  #
+ # Copyright (c) 2018, Joyent, Inc.
  
  include $(SRC)/Makefile.master
  
  MODULE = libpython$(PYTHON_VERSION).so
  MDBTGT = proc
*** 37,48 ****
--- 38,58 ----
  include ../../Makefile.ia32
  include ../../../Makefile.module
  
  %.o := CPPFLAGS += $(PYCPPFLAGS)
  %.ln := CPPFLAGS += $(PYLNFLAGS)
+ 
+ #
+ # Why these? Well, the pyconfig.h header hard-codes _FILE_OFFSET_BITS
+ # to 64, regardless of what we have set here.  GCC quietens this complaint via
+ # use of -isystem, but neither lint nor smatch can do that.
+ #
  LINTFLAGS += -erroff=E_MACRO_REDEFINED
  
+ # not linted
+ SMATCH=off
+ 
  dmod/$(MODULE) := LDLIBS += -lproc
  
  %.o: $(MODSRCS_DIR)/%.c
          $(COMPILE.c) $<
          $(CTFCONVERT_O)