From b1d30c53c534e1fc7b43d3fd00e0b4d9057ac3eb Mon Sep 17 00:00:00 2001 From: alexrp Date: Tue, 19 Mar 2013 05:17:54 +0100 Subject: [PATCH] Use /bin/bash instead of /bin/sh in autogen.sh. --- autogen.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/autogen.sh b/autogen.sh index 3a51ad424c8..3628c690efd 100755 --- a/autogen.sh +++ b/autogen.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # Run this to generate all the initial makefiles, etc. # Ripped off from GNOME macros version -- 2.25.1