https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102361
--- Comment #4 from DAC324 <dac324 at yahoo dot de> --- Please let me kindly ask you for instructions on how to do that. As described in the introduction, I was trying to compile the Linux kernel from the usual source tarball available on kernel.org. What I did after extracting the sources was: make menuconfig make If I understand correctly, I will have to interrupt the make process to extract a pre-processed source file? Please let me kindly ask for additional guidance. Thank you very much and kind regards.
