Print this page
11972 resync smatch


  35         WLOG="$1"
  36         shift
  37     elif [[ "$1" == "--help" ]] ; then
  38         usage
  39     else
  40             break
  41     fi
  42 done
  43 
  44 SCRIPT_DIR=$(dirname $0)
  45 if [ -e $SCRIPT_DIR/../smatch ] ; then
  46     cp $SCRIPT_DIR/../smatch $SCRIPT_DIR/../bak.smatch
  47     CMD=$SCRIPT_DIR/../bak.smatch
  48 elif which smatch | grep smatch > /dev/null ; then
  49     CMD=smatch
  50 else
  51     echo "Smatch binary not found."
  52     exit 1
  53 fi
  54 
  55 make clean







  56 find -name \*.c.smatch -exec rm \{\} \;
  57 make -j${NR_CPU} $ENDIAN -k CHECK="$CMD --file-output $*" \
  58         C=1 $TARGET 2>&1 | tee $LOG
  59 find -name \*.c.smatch -exec cat \{\} \; -exec rm \{\} \; > $WLOG
  60 
  61 echo "Done.  The warnings are saved to $WLOG"


  35         WLOG="$1"
  36         shift
  37     elif [[ "$1" == "--help" ]] ; then
  38         usage
  39     else
  40             break
  41     fi
  42 done
  43 
  44 SCRIPT_DIR=$(dirname $0)
  45 if [ -e $SCRIPT_DIR/../smatch ] ; then
  46     cp $SCRIPT_DIR/../smatch $SCRIPT_DIR/../bak.smatch
  47     CMD=$SCRIPT_DIR/../bak.smatch
  48 elif which smatch | grep smatch > /dev/null ; then
  49     CMD=smatch
  50 else
  51     echo "Smatch binary not found."
  52     exit 1
  53 fi
  54 
  55 if [[ ! -z $ARCH ]]; then
  56         KERNEL_ARCH="ARCH=$ARCH"
  57 fi
  58 if [[ ! -z $CROSS_COMPILE ]] ; then
  59         KERNEL_CROSS_COMPILE="CROSS_COMPILE=$CROSS_COMPILE"
  60 fi
  61 
  62 make $KERNEL_ARCH $KERNEL_CROSS_COMPILE clean
  63 find -name \*.c.smatch -exec rm \{\} \;
  64 make $KERNEL_ARCH $KERNEL_CROSS_COMPILE -j${NR_CPU} $ENDIAN -k CHECK="$CMD --file-output $*" \
  65         C=1 $TARGET 2>&1 | tee $LOG
  66 find -name \*.c.smatch -exec cat \{\} \; -exec rm \{\} \; > $WLOG
  67 
  68 echo "Done.  The warnings are saved to $WLOG"