> When installing gcc 9.1.0 on Solaris 10 with CONFIG_SHELL=/bin/ksh, it
> failed in the same way as originally fixed by
>
> https://gcc.gnu.org/ml/gcc-patches/2016-05/msg00087.html
>
> While the patch still is on the gcc-5 and gcc-6 branches, it has been
> lost (inadvertently, I assume) on
> Installing gcc 6.1.0 on Solaris 10 with /bin/ksh failed for
> install-gcc-specs (I'd already seen that for 5.1.0, but forgotten about
> it):
>
> make[3]: Entering directory `/var/gcc/gcc-6.1.0/10-gcc-gas/gcc/ada'
> for f in ; do \
> cp -p /vol/src/gnu/gcc/gcc-6.1.0/gcc/ada/$f \
>
