> This results in annoying errors in stderr each time make is > performed in non-bootstrapped build (3 times even for each case). > > Fixed thusly, bootstrapped/regtested on x86_64-linux and i686-linux, ok for > trunk?
Looks good to me, thanks. -Andi