Print this page
10077 usr/src/uts/ Makefile changes for smatch
@@ -21,11 +21,11 @@
#
# Copyright 2007 Sun Microsystems, Inc. All rights reserved.
# Use is subject to license terms.
#
-# Copyright 2016 Joyent, Inc.
+# Copyright (c) 2018, Joyent, Inc.
#
#
# This makefile drives the production of the xpv_psm mach
# kernel module.
@@ -79,10 +79,13 @@
CERRWARN += -_gcc=-Wno-parentheses
CERRWARN += -_gcc=-Wno-uninitialized
CERRWARN += -_gcc=-Wno-empty-body
CERRWARN += -_gcc=-Wno-unused-function
+# needs work
+SMATCH=off
+
# Default build targets.
#
.KEEP_STATE:
def: $(DEF_DEPS)