]> andersk Git - splint.git/blame - lib/Makefile
*** empty log message ***
[splint.git] / lib / Makefile
CommitLineData
885824d3 1all:
119f0b93 2 ../bin/lclint -nolib +impconj ansi.h -dump ansi
3 ../bin/lclint -nolib +impconj -DSTRICT ansi.h -dump ansistrict
4 ../bin/lclint -nolib +impconj ansi.h posix.h -dump posix
5 ../bin/lclint -nolib +impconj -DSTRICT ansi.h posix.h -dump posixstrict
6 ../bin/lclint -nolib +impconj ansi.h posix.h unix.h -dump unix
7 ../bin/lclint -nolib +impconj -DSTRICT ansi.h posix.h unix.h -dump unixstrict
885824d3 8
This page took 0.986843 seconds and 5 git commands to generate.