From 76f2ae3ca2ed17fcf44bbec4733b2385a8a7e616 Mon Sep 17 00:00:00 2001
From: "Ryan C. Gordon" <icculus@icculus.org>
Date: Mon, 26 Dec 2016 22:58:58 -0500
Subject: [PATCH] Don't use pushd/popd in autogen.sh; Ubuntu's /bin/sh doesn't
 support it.

---
 autogen.sh | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/autogen.sh b/autogen.sh
index 3e958e195..9edfb8a7d 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -5,7 +5,7 @@ echo "This may take a while ..."
 
 srcdir=`dirname $0`
 test -z "$srcdir" && srcdir=.
-pushd $srcdir
+cd "$srcdir"
 
 # Regenerate configuration files
 cat acinclude/* >aclocal.m4
@@ -19,7 +19,5 @@ if test x$found = xfalse; then
 fi
 (cd test; sh autogen.sh)
 
-popd
-
 # Run configure for this platform
 echo "Now you are ready to run ./configure"