FW: How to let Linux kernel Makefile generate intermediate *.i files ? It doesn't work to add "EXTRA_CFLAGS += -save-temps" in Makefile and gets "cc: warning: -pipe ignored because -wave-temps specified."

Randy Dunlap rdunlap@xenotime.net
Mon Oct 17 20:12:00 GMT 2011


On 10/17/2011 09:27 AM, Liu Wang wrote:
> 
> 
> -----Original Message-----
> From: Liu Wang 
> Sent: Saturday, October 15, 2011 5:42 PM
> To: 'gcc-help@gcc.gnu.org'
> Subject: How to let Linux kernel Makefile generate intermediate *.i files ? It doesn't work to add "EXTRA_CFLAGS += -save-temps" in Makefile and gets "cc: warning: -pipe ignored because -wave-temps specified."
> 
> Sir./Madam,
> 
> Appreciate your helping me with the following.
> 
> How to let Linux kernel Makefile generate intermediate *.i files ? 
> It doesn't work to add "EXTRA_CFLAGS += -save-temps" in Makefile and gets "cc: warning: -pipe ignored because -wave-temps specified."


The Linux kernel Makefile already has support for generating .i files.

"make help" (partial output) says:
(for targets)

  dir/file.[oisS] - Build specified target only

I have binary files built in the X64 subdirectory, so I tested like so:

$ make O=X64 ARCH=x86_64 init/calibrate.i

$ ls -l  X64/init/*.i
-rw-r--r-- 1 rddunlap users 354232 Oct 17 09:32 X64/init/calibrate.i


-- 
~Randy
*** Remember to use Documentation/SubmitChecklist when testing your code ***



More information about the Gcc mailing list