Re: r286743: Required tool strip not found in PATH. *** Error code 1

On 13 August 2015 at 21:45, O. Hartmann <ohartman_at_zedat.fu-berlin.de> wrote:
> On r286743, a make installworld dies with:
>
> ...
> $progs /tmp/install.tnjP0sgn Required tool strip not found in PATH. *** Error code 1
>
> Stop.
> make[1]: stopped in /usr/src
> *** Error code 1
>
> System has been recently build-world installed and cleaned up with "make delete-old which
> strips away elf toolchain tools.

Yes, sorry about that. They were incorrectly deleted by make
delete-old, and antoine_at_ fixed my error in r286745. You should be able
to individually build and install the missing tools to recover.