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"
|