Print this page
10077 usr/src/uts/ Makefile changes for smatch
@@ -10,10 +10,11 @@
#
#
# Copyright (c) 2013 by Chelsio Communications, Inc. All rights reserved.
#
+# Copyright (c) 2018, Joyent, Inc.
#
# This makefile drives the production of the Chelsio Terminator 4 10G Ethernet
# (CXGBE) driver nexus modules on x86 systems.
#
@@ -88,10 +89,13 @@
LINTTAGS += -erroff=E_FUNC_RET_ALWAYS_IGNOR2
LINTTAGS += -erroff=E_FUNC_RET_MAYBE_IGNORED2
LINTTAGS += -erroff=E_CASE_FALLTHRU
LINTTAGS += -erroff=E_ASSIGN_NARROW_CONV
+# needs work
+SMATCH=off
+
#
# Default build targets.
#
.KEEP_STATE: