Fixed warnings detected by splint

2017-02-15 21:50:06 +00:00
parent dba03d47bd
commit fa445a1251
4 changed files with 6 additions and 5 deletions
@@ -20,7 +20,8 @@ rm -f splint_output.txt
 touch splint_output.txt
 for filename in $( find $directory -name '*.c' )
 do
-  echo splinting ${filename} >> ${SPLINT_LOGFILE}
+  echo splinting ${filename}
+  echo splinting ${filename} >> ${SPLINT_LOGFILE} 
  ${SPLINT} ${filename} >> ${SPLINT_LOGFILE} 2>&1
 done