Hello,
I am reading
https://repo.or.cz/smatch.git/blob/HEAD:/Documentation/smatch.txt
And trying to test smatch against the linux kernel staging branch from
Greg KH's repo.
I am a bit confused about kernel .config usage ? What does smatch needs?
I tried using multi_v7_defconfig and allmodefconfig, but everytime I try to:
$) make O=../my_build_dir CHECK="~/src/smatch/smatch -p=kernel" C=1
bzImage modules -j32
I get asked about config options again. As below:
*
* Restart config...
*
*
* General setup
*
Compile also drivers which will not load (COMPILE_TEST) [Y/n/?] y
Compile the kernel with warnings as errors (WERROR) [Y/n/?] y
Compile test UAPI headers (UAPI_HEADER_TEST) [N/y/?] (NEW)
...
Am I missing something ?
