running splint on the code.

2007-11-28 23:02:32 +00:00
parent 4e98fc2b03
commit 97b19c07c8
3 changed files with 18 additions and 1 deletions
@@ -3,11 +3,17 @@
 [ -x /usr/bin/splint ] || exit 0

 INCLUDES="-Iinclude -Idemo/handler -Idemo/object -Iports/linux"
+SETTINGS="-castfcnptr -fullinitblock -weak +posixlib"
+
+if [ ! -x .splintrc ]
+then
+  echo ${INCLUDES} ${SETTINGS} > .splintrc
+fi

 directory=${1-`pwd`}
 for filename in $( find $directory -name '*.c' )
 do
  echo splinting ${filename}
-  /usr/bin/splint ${INCLUDES} ${filename}
+  /usr/bin/splint ${filename}
 done