diff options
author | Jim Blandy <[email protected]> | 1993-05-28 03:24:51 +0000 |
---|---|---|
committer | Jim Blandy <[email protected]> | 1993-05-28 03:24:51 +0000 |
commit | 0871bc22df3bacccfb18900d30cf0c6ee468425b (patch) | |
tree | 460a6d3f70a507149edcd576f6578212ec7a5a05 | |
parent | 92723877c7b4cf2d8e503afa01a5ba92800fc4a7 (diff) |
* configure.in (prefix): Don't run pwd on srcdir unnecessarily.
-rwxr-xr-x | configure1.in | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/configure1.in b/configure1.in index 0481fdba7f..2c3eb3d86e 100755 --- a/configure1.in +++ b/configure1.in @@ -292,13 +292,13 @@ case "${srcdir}" in "" ) confdir=`echo $0 | sed 's|//|/|' | sed 's|/[^/]*$||'` if [ -f $confdir/src/lisp.h -a -f $confdir/lisp/version.el ]; then - srcdir=`(cd $confdir ; pwd)` + srcdir="${confdir}" else if [ -f "./src/lisp.h" -a -f "./lisp/version.el" ]; then - srcdir=`pwd` + srcdir=`.` else if [ -f "../src/lisp.h" -a -f "../lisp/version.el" ]; then - srcdir=`(cd .. ; pwd)` + srcdir=`..` else (echo "\ ${progname}: Neither the current directory nor its parent seem to @@ -315,7 +315,6 @@ sources may be found." ## Otherwise, check if the directory they specified is okay. * ) - srcdir=`(cd ${srcdir}; pwd)` if [ ! -d "${srcdir}" -o ! -f "${srcdir}/src/lisp.h" -o ! -f "${srcdir}/lisp/version.el" ]; then (echo "\ ${progname}: The directory specified with the \`--srcdir' option, @@ -327,9 +326,17 @@ are." exit 1 fi ;; +esac +#### Make srcdir absolute, if it isn't already. It's important to +#### avoid running the path through pwd unnecessary, since pwd can +#### give you automounter prefixes, which can go away. +case "${srcdir}" in + /* ) ;; + * ) srcdir="`(cd ${srcdir}; pwd)`" ;; esac + ### Make the necessary directories, if they don't exist. if [ ! -d ./src ]; then mkdir ./src |