The problem:
$ make -j4
scripts/kconfig/conf --silentoldconfig Kconfig
warning: (VIDEO_CX231XX_DVB) selects DVB_MB86A20S which has unmet direct dependencies (MEDIA_SUPPORT && DVB_CAPTURE_DRIVERS && DVB_CORE && I2C)
warning: (VIDEO_CX231XX_DVB) selects DVB_MB86A20S which has unmet direct dependencies (MEDIA_SUPPORT && DVB_CAPTURE_DRIVERS && DVB_CORE && I2C)
HOSTCC -fPIC tools/gcc/pax_plugin.o
tools/gcc/pax_plugin.c:19:24: fatal error: gcc-plugin.h: No such file or directory
compilation terminated.
make[1]: *** [tools/gcc/pax_plugin.o] Error 1
make: *** [pax-plugin] Error 2
make: *** Waiting for unfinished jobs....
The solution:
# apt-get install gcc-4.6-plugin-dev