X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/73b291739c6ac018b9167abc14cc9228c9e3683d..6c9a3167fcc078f8ffe6b5302f6a6dde871e8933:/lib/Makefile.am diff --git a/lib/Makefile.am b/lib/Makefile.am index 0b0c7cb..a52f155 100644 --- a/lib/Makefile.am +++ b/lib/Makefile.am @@ -39,9 +39,9 @@ posixstrict.lcd: ansi.h posix.h $(LCLINT) @touch $@ unix.lcd: ansi.h posix.h unix.h $(LCLINT) - -$(LCLINT) -nolib +impconj ansi.h posix.h unix.h -dump unix + -$(LCLINT) -nolib +impconj ansi.h posix.h unix.h stdio.h stdlib.h -dump unix @touch $@ unixstrict.lcd: ansi.h posix.h unix.h $(LCLINT) - -$(LCLINT) -nolib +impconj -DSTRICT ansi.h posix.h unix.h -dump unixstrict + -$(LCLINT) -nolib +impconj -DSTRICT ansi.h posix.h unix.h stdio.h stdlib.h -dump unixstrict @touch $@