diff options
| author | John Levon <john.levon@joyent.com> | 2018-12-15 15:13:09 +0000 |
|---|---|---|
| committer | Dan McDonald <danmcd@joyent.com> | 2019-01-05 15:34:06 -0500 |
| commit | 1f5207b7604fb44407eb4342aff613f7c4508508 (patch) | |
| tree | 3a32aff9ba245a7de5fb9c384659480740adcda8 /usr/src/lib/libast/Makefile.com | |
| parent | c0455f334914631f42eb41177d677e2820ee6506 (diff) | |
| download | illumos-joyent-1f5207b7604fb44407eb4342aff613f7c4508508.tar.gz | |
10063 basic support for smatch
10153 checkpaths shouldn't check packaging exceptions
Reviewed by: Toomas Soome <tsoome@me.com>
Approved by: Dan McDonald <danmcd@joyent.com>
Diffstat (limited to 'usr/src/lib/libast/Makefile.com')
| -rw-r--r-- | usr/src/lib/libast/Makefile.com | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/usr/src/lib/libast/Makefile.com b/usr/src/lib/libast/Makefile.com index 3ec9d8313e..46c4dad799 100644 --- a/usr/src/lib/libast/Makefile.com +++ b/usr/src/lib/libast/Makefile.com @@ -22,6 +22,7 @@ # # Copyright (c) 2007, 2010, Oracle and/or its affiliates. All rights reserved. # +# Copyright (c) 2019, Joyent, Inc. SHELL=/usr/bin/ksh93 @@ -738,6 +739,8 @@ CERRWARN += -_gcc=-Wno-empty-body CERRWARN += -_gcc=-Wno-type-limits CERRWARN += -_gcc=-Wno-address +SMATCH=off + pics/$(MACH)/src/lib/libast/conftab.o \ pics/$(MACH64)/src/lib/libast/conftab.o := CERRWARN += -erroff=E_INIT_DOES_NOT_FIT pics/common/comp/setlocale.o := CERRWARN += -erroff=E_INTEGER_OVERFLOW_DETECTED |