On Sun, 6 Nov 2016 07:09:57 +0800
kbuild test robot <fengguang.wu@xxxxxxxxx> wrote:
Hi Emese,
FYI, the error/warning still remains.
++(scripts/gcc-plugin.sh:12): main(): gcc-4.6 -E -x c++ - -o /dev/null -Iscripts/gcc-plugins -Iplugin/include
scripts/Makefile.gcc-plugins:30: warning: your gcc installation does not support plugins, perhaps the necessary headers are missing?
Hi,
You should install the gcc-4.6 plugin headers (gcc-4.6-plugin-dev package on debian if I remember well) for the plugins.