]> andersk Git - splint.git/blame - lib/Makefile
Fixed library dump support so that buffer constraint annotations are read and written...
[splint.git] / lib / Makefile
CommitLineData
885824d3 1all:
920a3797 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.103445 seconds and 5 git commands to generate.