[Trisquel-users] Re : Let me several questions about kernel compilation?

[lcerf]

Just run the 'make' command again.  It will not relaunch the compilation of  
what has already been compiled (in particular, it will not compile anything  
if it has already compiled everything).