]> andersk Git - splint.git/commitdiff
*** empty log message ***
authordrl7x <drl7x>
Sat, 21 Dec 2002 05:07:29 +0000 (05:07 +0000)
committerdrl7x <drl7x>
Sat, 21 Dec 2002 05:07:29 +0000 (05:07 +0000)
test/sizeoftest/Makefile [new file with mode: 0644]

diff --git a/test/sizeoftest/Makefile b/test/sizeoftest/Makefile
new file mode 100644 (file)
index 0000000..6111c65
--- /dev/null
@@ -0,0 +1,8 @@
+.PHONY: check
+
+SPLINT = splint -exportlocal
+check:
+       $(SPLINT) +bounds sizeof.c sizeofConst.c -expect 1
+
+
This page took 0.075554 seconds and 5 git commands to generate.