Print this page
11972 resync smatch
Split |
Close |
Expand all |
Collapse all |
--- old/usr/src/tools/smatch/src/smatch_scripts/test_kernel.sh
+++ new/usr/src/tools/smatch/src/smatch_scripts/test_kernel.sh
1 1 #!/bin/bash
2 2
3 3 NR_CPU=$(cat /proc/cpuinfo | grep ^processor | wc -l)
4 4 TARGET="bzImage modules"
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 # receive parameters from environment, which override
45 45 [ -z "${SMATCH_ENV_TARGET:-}" ] || TARGET="$SMATCH_ENV_TARGET"
46 46 [ -z "${SMATCH_ENV_BUILD_PARAM:-}" ] || BUILD_PARAM="$SMATCH_ENV_BUILD_PARAM"
47 47
48 48 SCRIPT_DIR=$(dirname $0)
↓ open down ↓ |
48 lines elided |
↑ open up ↑ |
49 49 if [ -e $SCRIPT_DIR/../smatch ] ; then
50 50 cp $SCRIPT_DIR/../smatch $SCRIPT_DIR/../bak.smatch
51 51 CMD=$SCRIPT_DIR/../bak.smatch
52 52 elif which smatch | grep smatch > /dev/null ; then
53 53 CMD=smatch
54 54 else
55 55 echo "Smatch binary not found."
56 56 exit 1
57 57 fi
58 58
59 -make clean
59 +if [[ ! -z $ARCH ]]; then
60 + KERNEL_ARCH="ARCH=$ARCH"
61 +fi
62 +if [[ ! -z $CROSS_COMPILE ]] ; then
63 + KERNEL_CROSS_COMPILE="CROSS_COMPILE=$CROSS_COMPILE"
64 +fi
65 +
66 +make $KERNEL_ARCH $KERNEL_CROSS_COMPILE clean
60 67 find -name \*.c.smatch -exec rm \{\} \;
61 -make -j${NR_CPU} $ENDIAN -k CHECK="$CMD -p=kernel --file-output --succeed $*" \
68 +make $KERNEL_ARCH $KERNEL_CROSS_COMPILE -j${NR_CPU} $ENDIAN -k CHECK="$CMD -p=kernel --file-output --succeed $*" \
62 69 C=1 $BUILD_PARAM $TARGET 2>&1 | tee $LOG
63 70 BUILD_STATUS=${PIPESTATUS[0]}
64 71 find -name \*.c.smatch -exec cat \{\} \; -exec rm \{\} \; > $WLOG
65 72 find -name \*.c.smatch.sql -exec cat \{\} \; -exec rm \{\} \; > $WLOG.sql
66 73 find -name \*.c.smatch.caller_info -exec cat \{\} \; -exec rm \{\} \; > $WLOG.caller_info
67 74
68 75 echo "Done. Build with status $BUILD_STATUS. The warnings are saved to $WLOG"
69 76 exit $BUILD_STATUS
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX