Splinted files and corrected splint errors.

2011-08-17 03:59:31 +00:00
parent 8d9b987064
commit 61f0a0211d
4 changed files with 7 additions and 7 deletions
@@ -5,7 +5,7 @@ SPLINT=/usr/bin/splint

 [ -x ${SPLINT} ] || exit 0

-INCLUDES="-Iinclude -Iports/linux"
+INCLUDES="-Iinclude -Idemo/object -Iports/linux"
 SETTINGS="-castfcnptr -fullinitblock -initallelements -weak +posixlib"

 if [ ! -x .splintrc ]