On Sun, 6 Nov 2016 07:09:57 +0800 kbuild test robot <fengguang...@intel.com> 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. -- Emese