From 30e04f0fc7a28200617658695c91ecfe8c21eca4 Mon Sep 17 00:00:00 2001
From: skarg <skarg@1e814d3a-8a88-4260-be86-c0dc25669c1e>
Date: Fri, 12 Jul 2013 03:35:07 +0000
Subject: [PATCH] modified splint script for Makefile usage. - Thanks, Bryan.

---
 bacnet-stack/splint.sh | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/bacnet-stack/splint.sh b/bacnet-stack/splint.sh
index 58eb3912..0882ace4 100755
--- a/bacnet-stack/splint.sh
+++ b/bacnet-stack/splint.sh
@@ -5,18 +5,21 @@ 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 +posixlib"
+SETTINGS="-castfcnptr -fullinitblock -initallelements -weak -warnposixheaders"
 
-if [ ! -x .splintrc ]
+if [ ! -e .splintrc ]
 then
-  echo ${INCLUDES} ${SETTINGS} > .splintrc
+  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}
-  ${SPLINT} ${filename}
+  ${SPLINT} ${filename} >> splint_output.txt 2>&1
 done