Re: [PATCH] Fix PR bootstrap/81217

2017-06-27 Thread Jeff Law
On 06/27/2017 07:16 AM, Martin Liška wrote: > Hello. > > Following fixes the PR by removal of superfluous bootstrap_target. > > Ready to be installed? > > ChangeLog: > > 2017-06-27 Martin Liska > > PR bootstrap/81217 > * Makefile.def: Remove superfluous bootstrap_target from >

[PATCH] Fix PR bootstrap/81217

2017-06-27 Thread Martin Liška
Hello. Following fixes the PR by removal of superfluous bootstrap_target. Ready to be installed? ChangeLog: 2017-06-27 Martin Liska PR bootstrap/81217 * Makefile.def: Remove superfluous bootstrap_target from bootstrap_stage. * Makefile.in: Re-generate the fil