[splint.git] / lib / Makefile

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
Commit	Line	Data
885824d3	1	all:
7bf96067	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