https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127359
--- Comment #6 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot Uni-Bielefeld.DE> --- > This patch invokes makeSystem with $(SHELL) and also replaces all occurrences > of echo in makeSystem with printf. I'd used the $(SHELL) part already locally, so thanks for fixing this.
