[PATCH] Fix up make bootstrap-lean; make install (PR bootstrap/58572)

[Paolo Bonzini]

Il 07/03/2014 11:45, Jakub Jelinek ha scritto:
> On Fri, Mar 07, 2014 at 08:26:47AM +0100, Paolo Bonzini wrote:
>> > Il 06/03/2014 19:58, Jakub Jelinek ha scritto:
>>> > >Bootstrapped/regtested on x86_64-linux and i686-linux and tested also
>>> > >with make bootstrap-lean; make install, ok for trunk?
>> >
>> > Nice fix!  Did you check that on a regular bootstrap (formerly
>> > bubblestrap) you can modify the source code for the affected headers
>> > in libstdc++-v3, and alias.o/dfp.o will be rebuilt?
> It isn't rebuilt with the patch, but I don't see how it is any different
> from all the other -isystem headers (e.g. the gcc/include headers like
> stddef.h etc. that we use -isystem for too).
>
> I'm not sure it is worth bothering, while there are occassional changes
> to those headers, it is at most a few occurrences a year and usually just
> addition of new stuff, after all the headers should remain ABI compatible.
>
> Anyway, bootstrapping/regtesting now this variant where it only changes
> things for *-lean cases and not for normal bootstrap.
>
> 2014-03-07  Jakub Jelinek  <jakub@redhat.com>
>
> 	PR bootstrap/58572
> 	* Makefile.tpl (POSTSTAGE1_CXX_EXPORT): Use -isystem instead of
> 	-I for libstdc++-v3 includes if $(LEAN).
> 	* Makefile.in: Regenerated.

Ok.

Paolo