X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/aad8b7888857aed68f72d74c904654464e78923a..e7af859818da51dc25010dd482f685fc49fbfdc9:/test/moreBufferTests2/Makefile

diff --git a/test/moreBufferTests2/Makefile b/test/moreBufferTests2/Makefile
index 45eb329..3aac2b8 100644
--- a/test/moreBufferTests2/Makefile
+++ b/test/moreBufferTests2/Makefile
@@ -4,4 +4,5 @@
  
 check:
 	$(SPLINT) -exportlocal +bounds unknownsize.c arrayConstExpr.c -expect 1
+	$(SPLINT) -exportlocal +bounds fixedArrayType.c -expect 1