Re: [PATCH] Fix PR bootstrap/81217

[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  <mli...@suse.cz>
> 
>       PR bootstrap/81217
>       * Makefile.def: Remove superfluous bootstrap_target from
>       bootstrap_stage.
>       * Makefile.in: Re-generate the file.
OK.
jeff