]> andersk Git - splint.git/blame - test/moreBufferTests2/Makefile
Added new flag.
[splint.git] / test / moreBufferTests2 / Makefile
CommitLineData
30585c35 1.PHONY: check
2
11db3170 3#SPLINT = splint
30585c35 4
5check:
bb7c2085 6 $(SPLINT) -exportlocal +bounds unknownsize.c arrayConstExpr.c -expect 1
30585c35 7
This page took 0.052941 seconds and 5 git commands to generate.