From 6380985dc28bbc4073b7f612ba837be9fa8765e2 Mon Sep 17 00:00:00 2001 From: skarg Date: Mon, 17 Mar 2008 15:01:41 +0000 Subject: [PATCH] updated splint shell script for directory structure change. --- bacnet-stack/splint.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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}