Splinted the core source files.

2010-07-20 02:37:13 +00:00
parent 6c9ef7211d
commit 2814084093
2 changed files with 9 additions and 6 deletions
@@ -1,6 +1,9 @@
 #!/bin/sh
 # splint is a static code checker
-[ -x /usr/bin/splint ] || exit 0
+
+SPLINT=/usr/bin/splint
+
+[ -x ${SPLINT} ] || exit 0

 INCLUDES="-Iinclude -Iports/linux"
 SETTINGS="-castfcnptr -fullinitblock -initallelements -weak +posixlib"
@@ -14,6 +17,6 @@ directory=${1-`pwd`}/src
 for filename in $( find $directory -name '*.c' )
 do
  echo splinting ${filename}
-  /usr/bin/splint ${filename}
+  ${SPLINT} ${filename}
 done