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-h...@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 ***

Reply via email to