On 2018-09-28 at 12:02 Paul Eggert <eggert@cs.ucla.edu> wrote:
> On 9/28/18 11:37 AM, Barret Rhoden wrote:
> > It doesn't seem particularly harmful, but maybe that PATH change should
> > depend on whether it's a cross build or not.  
> 
> Sounds like a good idea. Care to suggest a patch?
> 

The attached patch works for me.  Tested it on Linux, and it still
builds and runs.

If you all like it and prefer a git format-patch or send-email, I can do
that too.