GNOME Bugzilla – Bug 781242
Require bash in autogen.sh for pushd
Last modified: 2017-04-20 14:32:36 UTC
Build fix found while rebuilding with jhbuild.
Created attachment 349756 [details] [review] build: Require bash for pushd If using sh, there's no pushd. Make autogen.sh execute with bash instead.
Literally the same patch should be applied to gnome-shell as well, and anywhere else this got copypasta'd :-)
Review of attachment 349756 [details] [review]: Looks fairly bashy indeed!
Attachment 349756 [details] pushed as a4cb1f0 - build: Require bash for pushd
OK to commit the same change in gnome-shell? I ran into the same problem there.
Yes, though I'm almost sure there's a patch to replace the bashisms on some other bug ...
I didn't find it after an admittedly quick search, so I pushed this.
Mmh, I thought there was a patch somewhere, but now I only found bug 776412.
*** Bug 776412 has been marked as a duplicate of this bug. ***
(In reply to Florian Müllner from comment #6) > Yes, though I'm almost sure there's a patch to replace the bashisms on some > other bug ... I found bug 780215, which already has a patch marked as accepted-commit_now. Attachment 349756 [details] doesn't work on FreeBSD because bash is not part of the base system, so its package uses /usr/local/bin/bash.
(In reply to Ting-Wei Lan from comment #10) > I found bug 780215 Ha, that's the one!