Print this page
10077 usr/src/uts/ Makefile changes for smatch
@@ -10,10 +10,11 @@
#
#
# Copyright 2016 Hans Rosenfeld <rosenfeld@grumpf.hope-2000.org>
#
+# Copyright (c) 2018, Joyent, Inc.
#
# This makefile drives the production of the iwn driver kernel module.
#
# intel architecture dependent
@@ -53,10 +54,13 @@
ALL_TARGET = $(BINARY) $(CONFMOD) $(ITUMOD)
INSTALL_TARGET = $(BINARY) $(ROOTMODULE) $(ROOTFIRMWARE)
LDFLAGS += -dy -Nmisc/mac -Nmisc/net80211 -Ndrv/random -Ndrv/ip
+# needs work
+SMOFF += all_func_returns
+
#
# Default build targets.
#
.KEEP_STATE: