X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/a9ec328054b628447830161535f4915f715f49cd..feba098c51041f89cc30fd3028937f370e2ddc8e:/test/tainted/Makefile.os2

diff --git a/test/tainted/Makefile.os2 b/test/tainted/Makefile.os2
index 247d905..99a837e 100644
--- a/test/tainted/Makefile.os2
+++ b/test/tainted/Makefile.os2
@@ -7,7 +7,7 @@ all: tainted
 tainted:
 	${SPLINT} -mts tainted tainted.c -mustfree -exportlocal -expect 4
 #	herbert: TODO
-	${SPLINT} tainted-bad.mts tainted.xh tainted.c -mustfree -exportlocal -expect 9
+	@echo TODO ${SPLINT} tainted-bad.mts tainted.xh tainted.c -mustfree -exportlocal -expect 9
 	${SPLINT} -mts tainted tainted2.c -mustfree -exportlocal -expect 1
 	${SPLINT} -mts tainted tainted3.c -mustfree -exportlocal -expect 1
 	${SPLINT} -mts tainted tainted4.c -mustfree -exportlocal -expect 1