From 8ae7abc6c22f3656940ce9a1746685fa62d07bbb Mon Sep 17 00:00:00 2001 From: Will Thompson Date: Fri, 15 Mar 2019 10:41:45 +0000 Subject: [PATCH] autogen.sh: open-code pushd/popd This script uses /bin/sh, which on Debian-like systems is dash, which does not support bash's pushd/popd. --- autogen.sh | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/autogen.sh b/autogen.sh index 328822a..9307ca2 100755 --- a/autogen.sh +++ b/autogen.sh @@ -3,7 +3,8 @@ srcdir=`dirname $0` test -z "$srcdir" && srcdir=. -pushd $srcdir +olddir=`pwd` +cd "$srcdir" aclocal || exit 1 autoheader || exit 1 @@ -13,7 +14,8 @@ intltoolize -c -f || exit 1 libtoolize -c || exit 1 autoconf || exit 1 automake -a -c || exit 1 -popd + +cd "$olddir" if test -z "$NOCONFIGURE"; then $srcdir/configure --enable-maintainer-mode $*