[mutter] build: Require bash for pushd
- From: Jonas Ã…dahl <jadahl src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [mutter] build: Require bash for pushd
- Date: Thu, 13 Apr 2017 02:15:23 +0000 (UTC)
commit a4cb1f0f7ab278d8a2effa06bc19cfaf00408921
Author: Philip Chimento <philip endlessm com>
Date: Wed Apr 12 17:50:47 2017 -0700
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
autogen.sh | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/autogen.sh b/autogen.sh
index ab81914..ba92763 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
# Run this to generate all the initial makefiles, etc.
srcdir=`dirname $0`
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]