From 63f2fdd1a47c712a2f8cb3200338216e4dad9baf Mon Sep 17 00:00:00 2001 From: Ting-Wei Lan Date: Wed, 24 May 2017 22:08:33 +0800 Subject: [PATCH] build: Use #!/bin/sh instead of #!/bin/bash There is no bashism in autogen.sh now. https://bugzilla.gnome.org/show_bug.cgi?id=780215 --- autogen.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/autogen.sh b/autogen.sh index 0734753f7..a73a427cf 100755 --- a/autogen.sh +++ b/autogen.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh # Run this to generate all the initial makefiles, etc. srcdir=`dirname $0`