https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97445
--- Comment #13 from Christophe Leroy <christophe.leroy at csgroup dot eu> --- (In reply to Christophe Leroy from comment #10) > (In reply to Jakub Jelinek from comment #9) > > What I was suggesting is build with make V=1 and copy/paste the command line > > used to compile a particular source file and append -save-temps to those > > options > > That's exactly what I did, I built with V=1, then I copy/pasted the line and > added -save-temps at the end as you see in comment #8 This was a problem with PATH, when I was copying the command line, it was using another (older) version of GCC which was the one in the PATH. Sorry.
