11972 resync smatch

          --- old/usr/src/tools/smatch/src/smatch_scripts/test_generic.sh
          +++ new/usr/src/tools/smatch/src/smatch_scripts/test_generic.sh

   1    1  #!/bin/bash
   2    2  
   3    3  NR_CPU=$(cat /proc/cpuinfo | grep ^processor | wc -l)
   4    4  TARGET=""
   5    5  WLOG="smatch_warns.txt"
   6    6  LOG="smatch_compile.warns"
   7    7  function usage {
   8    8      echo
   9    9      echo "Usage:  $0 [smatch options]"
  10   10      echo "Compiles the kernel with -j${NR_CPU}"
  11   11      echo " available options:"
  12   12      echo "      --endian          : enable endianess check"
  13   13      echo "      --target {TARGET} : specify build target, default: $TARGET"
  14   14      echo "      --log {FILE}      : Output compile log to file, default is: $LOG"
  15   15      echo "      --wlog {FILE}     : Output warnigs to file, default is: $WLOG"
  16   16      echo "      --help            : Show this usage"
  17   17      exit 1
  18   18  }
  19   19  
  20   20  
  21   21  while true ; do
  22   22      if [[ "$1" == "--endian" ]] ; then
  23   23          ENDIAN="CF=-D__CHECK_ENDIAN__"
  24   24          shift
  25   25      elif [[ "$1" == "--target" ]] ; then
  26   26          shift
  27   27          TARGET="$1"
  28   28          shift
  29   29      elif [[ "$1" == "--log" ]] ; then
  30   30          shift
  31   31          LOG="$1"
  32   32          shift
  33   33      elif [[ "$1" == "--wlog" ]] ; then
  34   34          shift
  35   35          WLOG="$1"
  36   36          shift
  37   37      elif [[ "$1" == "--help" ]] ; then
  38   38          usage
  39   39      else
  40   40              break
  41   41      fi
  42   42  done
  43   43  
  44   44  SCRIPT_DIR=$(dirname $0)

  45   45  if [ -e $SCRIPT_DIR/../smatch ] ; then
  46   46      cp $SCRIPT_DIR/../smatch $SCRIPT_DIR/../bak.smatch
  47   47      CMD=$SCRIPT_DIR/../bak.smatch
  48   48  elif which smatch | grep smatch > /dev/null ; then
  49   49      CMD=smatch
  50   50  else
  51   51      echo "Smatch binary not found."
  52   52      exit 1
  53   53  fi
  54   54  
  55      -make clean
       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
  56   63  find -name \*.c.smatch -exec rm \{\} \;
  57      -make -j${NR_CPU} $ENDIAN -k CHECK="$CMD --file-output $*" \
       64 +make $KERNEL_ARCH $KERNEL_CROSS_COMPILE -j${NR_CPU} $ENDIAN -k CHECK="$CMD --file-output $*" \
  58   65          C=1 $TARGET 2>&1 | tee $LOG
  59   66  find -name \*.c.smatch -exec cat \{\} \; -exec rm \{\} \; > $WLOG
  60   67  
  61   68  echo "Done.  The warnings are saved to $WLOG"
    

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX