updated splint shell script for directory structure change.

This commit is contained in:
skarg
2008-03-17 15:01:41 +00:00
parent c8677814a6
commit 6380985dc2
+2 -2
View File
@@ -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}