brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

build: Require bash for pushd

Browse Source 
If using sh, there's no pushd. Make autogen.sh execute with bash instead.
This commit is contained in:
Philip Chimento 2017-04-15 00:00:54 -07:00
parent ef9dee2a05
commit 1508d76d32
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
autogen.sh
View File

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