X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/8fe44445b039605d306d64e3919e562081a10881..a469ccf0fcb67590e2954255f5dcc885d5689e60:/test/moreBufferTests/Makefile

diff --git a/test/moreBufferTests/Makefile b/test/moreBufferTests/Makefile
new file mode 100644
index 0000000..e1de558
--- /dev/null
+++ b/test/moreBufferTests/Makefile
@@ -0,0 +1,7 @@
+.PHONY: check
+
+LCLINT = lclint
+ 
+check:
+	$(LCLINT) -exportlocal +arraybounds +arrayboundsread unrecogCall.c strrchr.c initialization.c simplifyTest.c strncatNotReallyGood.c strncatReallyGood.c -expect 8
+