Replaced pushd and popd with equivalent shell code.
authorJeff Garzik <jgarzik@src.gnome.org>
Wed, 25 Nov 1998 17:32:21 +0000 (17:32 +0000)
committerJeff Garzik <jgarzik@src.gnome.org>
Wed, 25 Nov 1998 17:32:21 +0000 (17:32 +0000)
commitbf75878819d59737f16e8f9009237dbc5c4bd5c6
tree1d4a1456b7f761a7cb651ca30e3fc8033f28b573
parent8c25d98d508e66a4558df7aaa8e3063e14fd14b8
Replaced pushd and popd with equivalent shell code.
pushd and popd are not supported outside of bash (and csh?).
autogen.sh