Print this page
11972 resync smatch
*** 50,61 ****
else
echo "Smatch binary not found."
exit 1
fi
! make clean
find -name \*.c.smatch -exec rm \{\} \;
! make -j${NR_CPU} $ENDIAN -k CHECK="$CMD --file-output $*" \
C=1 $TARGET 2>&1 | tee $LOG
find -name \*.c.smatch -exec cat \{\} \; -exec rm \{\} \; > $WLOG
echo "Done. The warnings are saved to $WLOG"
--- 50,68 ----
else
echo "Smatch binary not found."
exit 1
fi
! if [[ ! -z $ARCH ]]; then
! KERNEL_ARCH="ARCH=$ARCH"
! fi
! if [[ ! -z $CROSS_COMPILE ]] ; then
! KERNEL_CROSS_COMPILE="CROSS_COMPILE=$CROSS_COMPILE"
! fi
!
! make $KERNEL_ARCH $KERNEL_CROSS_COMPILE clean
find -name \*.c.smatch -exec rm \{\} \;
! make $KERNEL_ARCH $KERNEL_CROSS_COMPILE -j${NR_CPU} $ENDIAN -k CHECK="$CMD --file-output $*" \
C=1 $TARGET 2>&1 | tee $LOG
find -name \*.c.smatch -exec cat \{\} \; -exec rm \{\} \; > $WLOG
echo "Done. The warnings are saved to $WLOG"