Don't use pushd/popd in autogen.sh; Ubuntu's /bin/sh doesn't support it.
authorRyan C. Gordon <icculus@icculus.org>
Mon, 26 Dec 2016 22:58:58 -0500
changeset 1072230e271a26a02
parent 10721 88943d97bf00
child 10723 79be3e82dcf1
Don't use pushd/popd in autogen.sh; Ubuntu's /bin/sh doesn't support it.
autogen.sh
     1.1 --- a/autogen.sh	Mon Dec 26 02:12:21 2016 -0800
     1.2 +++ b/autogen.sh	Mon Dec 26 22:58:58 2016 -0500
     1.3 @@ -5,7 +5,7 @@
     1.4  
     1.5  srcdir=`dirname $0`
     1.6  test -z "$srcdir" && srcdir=.
     1.7 -pushd $srcdir
     1.8 +cd "$srcdir"
     1.9  
    1.10  # Regenerate configuration files
    1.11  cat acinclude/* >aclocal.m4
    1.12 @@ -19,7 +19,5 @@
    1.13  fi
    1.14  (cd test; sh autogen.sh)
    1.15  
    1.16 -popd
    1.17 -
    1.18  # Run configure for this platform
    1.19  echo "Now you are ready to run ./configure"