https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106429
--- Comment #12 from Martin Vahi <martin.vahi at softf1 dot com> --- (In reply to Andrew Pinski from comment #9) > As I mentioned this is unrelated to bash version. > > "make clean" is failing so reopening for that issue. >... I'm not competent enough to refute Your statement, but I do emphasize that for whatever reason the crash DID NOT HAPPEN with a newer version of Bash.
