adjust root folder

splint.sh

@@ -0,0 +1,27 @@
+#!/bin/sh
+# splint is a static code checker
+
+SPLINT=/usr/bin/splint
+
+[ -x ${SPLINT} ] || exit 0
+
+DEFINES="-D__signed__=signed -D__gnuc_va_list=va_list"
+INCLUDES="-Iinclude -Idemo/object -Iports/linux"
+SETTINGS="-castfcnptr -fullinitblock -initallelements -weak -warnposixheaders"
+SPLINT_LOGFILE=splint_output.txt
+
+if [ ! -e .splintrc ]
+then
+  echo ${DEFINES} ${INCLUDES} ${SETTINGS} > .splintrc
+fi
+
+directory=${1-`pwd`}/src
+rm -f splint_output.txt
+touch splint_output.txt
+for filename in $( find $directory -name '*.c' )
+do
+  echo splinting ${filename}
+  echo splinting ${filename} >> ${SPLINT_LOGFILE} 
+  ${SPLINT} ${filename} >> ${SPLINT_LOGFILE} 2>&1
+done
+