diff options
| author | Jerry Jelinek <jerry.jelinek@joyent.com> | 2019-01-07 14:51:13 +0000 |
|---|---|---|
| committer | Jerry Jelinek <jerry.jelinek@joyent.com> | 2019-01-07 14:51:13 +0000 |
| commit | 366c0bd58ce28e63f4832704f76d8c4c9368da17 (patch) | |
| tree | cc40a450fb209a41232531be5b8c616b6001a70b | |
| parent | 8af2cc9f404037fc70d217d328172e2f24f441eb (diff) | |
| download | illumos-joyent-366c0bd58ce28e63f4832704f76d8c4c9368da17.tar.gz | |
10063 basic support for smatch [fix build]
| -rw-r--r-- | usr/src/tools/smatch/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/usr/src/tools/smatch/Makefile b/usr/src/tools/smatch/Makefile index 7bd184d273..4386f8dd66 100644 --- a/usr/src/tools/smatch/Makefile +++ b/usr/src/tools/smatch/Makefile @@ -43,6 +43,7 @@ LDFLAGS += -L$(NATIVE_ADJUNCT)/lib -R$(NATIVE_ADJUNCT)/lib CPPFLAGS += -nostdinc CPPFLAGS += -Isrc/ CPPFLAGS += -I$(NATIVE_ADJUNCT)/include +CPPFLAGS += -I/usr/include # no install.bin INS.file = $(RM) $@; $(CP) $< $(@D); $(CHMOD) $(FILEMODE) $@ |