> It is from FreeBSD ports. Everyone has the same bash there. > make distclean etc is all made in a standard way. > Are you saying that the ports build is broken? > > Yuri >
Hello Yuri. See Chet's response. That's the actual issue. My response was a "best effort" attempt at helping, but I ended up giving an incorrect response. You indeed found a bug in bash, and it's been already reported. Thanks! -- Eduardo Bustamante https://dualbus.me/
