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/cmd/ipcs | |
| 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/cmd/ipcs')
| -rw-r--r-- | usr/src/cmd/ipcs/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/usr/src/cmd/ipcs/Makefile b/usr/src/cmd/ipcs/Makefile index 1050b0a571..9e4bbffb5c 100644 --- a/usr/src/cmd/ipcs/Makefile +++ b/usr/src/cmd/ipcs/Makefile @@ -20,13 +20,10 @@ # CDDL HEADER END # # -#ident "%Z%%M% %I% %E% SMI" -# # Copyright 2004 Sun Microsystems, Inc. All rights reserved. # Use is subject to license terms. # -# cmd/ipcs/Makefile -# +# Copyright (c) 2019, Joyent, Inc. PROG= ipcs XPG4PROG= $(PROG) @@ -37,6 +34,9 @@ LINTFLAGS += -erroff=E_NAME_USED_NOT_DEF2 CFLAGS += $(CCVERBOSE) LDLIBS += -lproject +# main() too hairy +SMATCH = off + .KEEP_STATE: all: $(PROG) |
