[splint.git] / lib / Makefile

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 -DSTRICT ansi.h posix.h unix.h -dump unixstrict
Commit	Line	Data
885824d3	1	all:
d9a28762	2	lclint -nolib +impconj ansi.h -dump ansi
	3	lclint -nolib +impconj -DSTRICT ansi.h -dump ansistrict
	4	lclint -nolib +impconj ansi.h posix.h -dump posix
	5	lclint -nolib +impconj -DSTRICT ansi.h posix.h -dump posixstrict
	6	lclint -nolib +impconj ansi.h posix.h unix.h -dump unix
	7	lclint -nolib +impconj -DSTRICT ansi.h posix.h unix.h -dump unixstrict
885824d3	8