10080 smatch Makefile changes for usr/src/cmd

@@ -20,10 +20,11 @@
 #
 #
 # 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,12 +38,21 @@
 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)