*** empty log message ***

[splint.git] / lib / Makefile

diff --git a/lib/Makefile b/lib/Makefile
index 83652f8018d588fdb6722a95a11c5c78ea027906..f559a72dd82b8217749abecfc764f0c382ec4cbf 100644 (file)
--- a/lib/Makefile
+++ b/lib/Makefile
@@ -1,8 +1,8 @@
 all:
-       ../bin/lclint -nolib +impconj ansi.h -dump ansi 
-       ../bin/lclint -nolib +impconj -DSTRICT ansi.h -dump ansistrict
-       ../bin/lclint -nolib +impconj ansi.h posix.h -dump posix
-       ../bin/lclint -nolib +impconj -DSTRICT ansi.h posix.h -dump posixstrict
-       ../bin/lclint -nolib +impconj ansi.h posix.h unix.h -dump unix
-       ../bin/lclint -nolib +impconj -DSTRICT ansi.h posix.h unix.h -dump unixstrict
+       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 -DSTRICT ansi.h posix.h unix.h -dump unixstrict