Updated specifications in the unix library. Added the file stdio.h and stdlib.h...

[splint.git] / lib / Makefile

diff --git a/lib/Makefile b/lib/Makefile
index acd65063bb5d2d0a8830d20041805aa8fc57c8b6..f9218c1a66d1d448bbcf3f40c99a0ff98204b6ac 100644 (file)
--- a/lib/Makefile
+++ b/lib/Makefile
@@ -1,10 +1,10 @@
-LCLINT = lclint
+LCLINT = ../bin/lclint
 
 all:
        -${LCLINT} -nolib +impconj ansi.h -dump ansi 
        -${LCLINT} -nolib +impconj -DSTRICT ansi.h -dump ansistrict
        -${LCLINT} -nolib +impconj ansi.h posix.h -dump posix
        -${LCLINT} -nolib +impconj -DSTRICT ansi.h posix.h -dump posixstrict
-       -${LCLINT} -nolib +impconj ansi.h posix.h unix.h -dump unix
+       -${LCLINT} -nolib +impconj ansi.h posix.h unix.h stdio.h -dump unix
        -${LCLINT} -nolib +impconj -DSTRICT ansi.h posix.h unix.h -dump unixstrict