On Thu, 19 Apr 2018, Jakub Jelinek wrote:
> On Wed, Apr 18, 2018 at 12:24:15PM -0700, H.J. Lu wrote:
> > >> So untested patch would be something like:
> > >
> > > Yes, this is what I think should be the most appropriate approach.
>
> Here is the patch with slightly tweaked install.texi and the al
On Thu, Apr 19, 2018 at 12:31 AM, Jakub Jelinek wrote:
> On Wed, Apr 18, 2018 at 12:24:15PM -0700, H.J. Lu wrote:
>> >> So untested patch would be something like:
>> >
>> > Yes, this is what I think should be the most appropriate approach.
>
> Here is the patch with slightly tweaked install.texi a
On Wed, Apr 18, 2018 at 3:31 PM, Jakub Jelinek wrote:
> On Wed, Apr 18, 2018 at 12:24:15PM -0700, H.J. Lu wrote:
>> >> So untested patch would be something like:
>> >
>> > Yes, this is what I think should be the most appropriate approach.
>
> Here is the patch with slightly tweaked install.texi an
On Wed, Apr 18, 2018 at 12:24:15PM -0700, H.J. Lu wrote:
> >> So untested patch would be something like:
> >
> > Yes, this is what I think should be the most appropriate approach.
Here is the patch with slightly tweaked install.texi and the all the
regenerated bits too.
Bootstrapped/regtested on
