changeset 7389:b0bb6f6dd7fe

(run_in_place): Don't use pwd for archlibdir and docdir.
author Richard M. Stallman <rms@gnu.org>
date Sat, 07 May 1994 03:14:53 +0000
parents 846bf8868a98
children 989492b57d5e
files configure1.in
diffstat 1 files changed, 4 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/configure1.in	Sat May 07 03:03:13 1994 +0000
+++ b/configure1.in	Sat May 07 03:14:53 1994 +0000
@@ -1537,8 +1537,10 @@
    locallisppath='${srcdir}/site-lisp'
    etcdir='${srcdir}/etc'
    lockdir='${srcdir}/lock'
-   archlibdir=`(cd lib-src && pwd)`
-   docdir=`(cd etc && pwd)`
+   # We used to make archlibdir and docdir absolute,
+   # but that caused trouble with automounters.
+   archlibdir='${srcdir}/lib-src'
+   docdir='${srcdir}/etc'
    infodir='${srcdir}/info'
 elif [ "$single_tree" = "1" ]; then
    if [ "$exec_prefix_specified" = "" ]; then