Fixed bug in Makefile.am.

[splint.git] / test / simplebufferConstraintTests / Makefile

diff --git a/test/simplebufferConstraintTests/Makefile b/test/simplebufferConstraintTests/Makefile
index fc93a61e1fb702de9e6b4c767a383a9c96111aaf..a6058d1d183e42deb5038a94298c40868545922f 100644 (file)
--- a/test/simplebufferConstraintTests/Makefile
+++ b/test/simplebufferConstraintTests/Makefile
@@ -1,8 +1,8 @@
 .PHONY: check
 
-LCLINT = lclint -exportlocal
+SPLINT = splint -exportlocal
  
 check:
-       $(LCLINT) +arraybounds +arrayboundsread m.c sizeof.c test3.c test7.c -expect 7
+       $(SPLINT) +bounds m.c sizeof.c test3.c test7.c -expect 7