On 4/7/20 2:48 PM, Alessandro Barbieri wrote: > I already filed bugs here: > > https://bugs.gentoo.org/716504 > https://bugs.gentoo.org/716496 > > I need the workaround for the two above plus > this https://bugs.gentoo.org/714094 >
Thanks, this will be a PITA for a while (again). Another developer had patched /bin/dash so that it was effectively broken, to the point where ./configure scripts would decide on their own use bash instead (even if you set /bin/sh to point to dash). This "fixed" the errors, but meant that everyone who thought he switched to dash was actually still using slow old bash for every build. I undid that patch (so that now dash acts like it does upstream), but as a result there's going to be a bunch of previously-hidden bashisms in ./configure scripts that need to be fixed.
