smatch_scripts/kchecker

   1 #!/bin/bash
   2
   3 function useage {
   4     echo "Usage:  $0 [--debug][--valgrind] path/to/file.c"
   5     exit 1
   6 }
   7
   8 while true ; do
   9     if [[ "$1" == "--debug" ]] ; then
  10         POST="$POST --debug"
  11         shift
  12     elif [[ "$1" == "--debug-implied" ]] ; then
  13         POST="$POST --debug-implied"
  14         shift
  15     elif [[ "$1" == "--valgrind" ]] ; then
  16         PRE="valgrind"
  17         shift
  18     else
  19         break
  20     fi
  21 done
  22
  23 cname=$1
  24 if [[ "$cname" == "" ]] ; then
  25     useage
  26 fi
  27 if ! test -e $cname ; then
  28     useage
  29 fi
  30
  31 oname=$(echo ${cname/.c/.o})
  32 rm -f $oname
  33 make C=y CHECK="$PRE smatch $POST" $oname