Added splint script, and started splinting...

2007-11-28 22:33:36 +00:00
parent 1acdf37597
commit 4e98fc2b03
3 changed files with 16 additions and 5 deletions
@@ -0,0 +1,13 @@
+#!/bin/sh
+# splint is a static code checker
+[ -x /usr/bin/splint ] || exit 0
+
+INCLUDES="-Iinclude -Idemo/handler -Idemo/object -Iports/linux"
+
+directory=${1-`pwd`}
+for filename in $( find $directory -name '*.c' )
+do
+  echo splinting ${filename}
+  /usr/bin/splint ${INCLUDES} ${filename}
+done
+