From 0de8b8c088eb2fe5dec141ed69857a0d6025ce8b Mon Sep 17 00:00:00 2001
From: tihmstar <tihmstar@gmail.com>
Date: Sat, 31 Dec 2016 15:17:38 +0100
Subject: [PATCH] changed shell to bash, because pushd is a bash command

---
 autogen.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/autogen.sh b/autogen.sh
index 697dcb8a..8d2cbea5 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 gprefix=`which glibtoolize 2>&1 >/dev/null`
 if [ $? -eq 0 ]; then 
   glibtoolize --force