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 612432ac3e
commit a4cb1f0f7a

View File

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