]> andersk Git - splint.git/blobdiff - test/tainted/Makefile.os2
Removed obsolete OS/2 test makefiles.
[splint.git] / test / tainted / Makefile.os2
diff --git a/test/tainted/Makefile.os2 b/test/tainted/Makefile.os2
new file mode 100644 (file)
index 0000000..247d905
--- /dev/null
@@ -0,0 +1,19 @@
+.PHONY: tainted \r
+\r
+SPLINT = splint\r
+\r
+all: tainted \r
+\r
+tainted:\r
+       ${SPLINT} -mts tainted tainted.c -mustfree -exportlocal -expect 4\r
+#      herbert: TODO\r
+       ${SPLINT} tainted-bad.mts tainted.xh tainted.c -mustfree -exportlocal -expect 9\r
+       ${SPLINT} -mts tainted tainted2.c -mustfree -exportlocal -expect 1\r
+       ${SPLINT} -mts tainted tainted3.c -mustfree -exportlocal -expect 1\r
+       ${SPLINT} -mts tainted tainted4.c -mustfree -exportlocal -expect 1\r
+       ${SPLINT} -mts tainted tainted5.c -mustfree -exportlocal\r
+       ${SPLINT} -mts tainted taintedmerge.c -mustfree -exportlocal -expect 3\r
+       ${SPLINT} -mts tainted taintedimplicit.c -mustfree -exportlocal -expect 1\r
+       ${SPLINT} -mts tainted sprintf.c -expect 5\r
+       \r
+# evans 2002-07-09: 3 more warnings for sprintf because of sprintf\r
This page took 0.030487 seconds and 4 git commands to generate.