Print this page
10080 smatch Makefile changes for usr/src/cmd

@@ -20,11 +20,11 @@
 #
 #
 # Copyright 2009 Sun Microsystems, Inc.  All rights reserved.
 # Use is subject to license terms.
 #
-# cmd/pools/poold/Makefile
+# Copyright (c) 2018, Joyent, Inc.
 
 PROG =          poold
 OBJS =          poold.o
 SRCS =          $(OBJS:%.o=%.c)
 

@@ -85,10 +85,13 @@
 
 LINTFLAGS +=    -erroff=E_NAME_USED_NOT_DEF2
 $(BLD_JAVA_8)LINTFLAGS64 += -erroff=E_NAME_USED_NOT_DEF2
 LINTLIBS +=     -L$(LIBPOOL_PATH) -lpool
 
+# not linted
+SMATCH=off
+
 CPPFLAGS +=     $(INCS)
 ROOTCMDDIR =    $(ROOT)/usr/lib/pool
 
 CLOBBERFILES += $(JARFILE)