build: Require bash for pushd

If using sh, there's no pushd. Make autogen.sh execute with bash instead.

https://bugzilla.gnome.org/show_bug.cgi?id=781242
This commit is contained in:
Philip Chimento 2017-04-12 17:50:47 -07:00 committed by Jonas Ådahl
parent c6d3113416
commit eb394f19d3

View File

@ -1,4 +1,4 @@
#!/bin/sh #!/bin/bash
# Run this to generate all the initial makefiles, etc. # Run this to generate all the initial makefiles, etc.
srcdir=`dirname $0` srcdir=`dirname $0`