diff --git a/bacnet-stack/splint.sh b/bacnet-stack/splint.sh index 9daefcd0..ad6222f5 100755 --- a/bacnet-stack/splint.sh +++ b/bacnet-stack/splint.sh @@ -2,7 +2,7 @@ # splint is a static code checker [ -x /usr/bin/splint ] || exit 0 -INCLUDES="-Iinclude -Idemo/handler -Idemo/object -Iports/linux" +INCLUDES="-Iinclude -Iports/linux" SETTINGS="-castfcnptr -fullinitblock -weak +posixlib" if [ ! -x .splintrc ] @@ -10,7 +10,7 @@ then echo ${INCLUDES} ${SETTINGS} > .splintrc fi -directory=${1-`pwd`} +directory=${1-`pwd`}/src for filename in $( find $directory -name '*.c' ) do echo splinting ${filename}