Cannot install module with kernel 4.13.0-32

[Luca Cignoni]

Hi everybody, with the latest 2 minor version of kernel (4.13.0-31 and -32) I'm not able to install the module anymore. Compilation goes fine but sudo make install results in this:

make -C /lib/modules/4.13.0-32-generic/build M=/home/luca/tmp/clevo-xsm-wmi/module modules_install
make[1]: Entering directory '/usr/src/linux-headers-4.13.0-32-generic'
mkdir: cannot create directory ‘/lib/modules/4.13.0-32-generic/extra’: File exists
Makefile:1562: recipe for target '_emodinst_' failed
make[1]: *** [_emodinst_] Error 1
make[1]: Leaving directory '/usr/src/linux-headers-4.13.0-32-generic'
Makefile:10: recipe for target 'install' failed
make: *** [install] Error 2

As far as I understood it wants to put something in /lib/modules/4.13.0-32-generic/extra directory...but it is actually a file

I'm not very expert in compiling modules, but I couldn't find anything on this specific problem.

[Luca Cignoni]

Easier than I though. Looking backwards on compiled modules in previous kernels I noticed that the size of the extra file was the same of the clevo module. Thus, somehow the installation failed once leaving a malformed file. Removing the file and try sudo make install again it worked.