From dce3d8a95ce4ca9802ad83d8d9d09c27028649e6 Mon Sep 17 00:00:00 2001
From: "Richard M. Stallman" <rms@gnu.org>
Date: Sun, 19 Sep 1993 20:04:21 +0000
Subject: [PATCH] Use "sh -c pwd" when we want to avoid having the shell fix up
 the value of $PWD.

---
 configure1.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure1.in b/configure1.in
index 23cdd962141..48883384d15 100755
--- a/configure1.in
+++ b/configure1.in
@@ -353,7 +353,7 @@ case "${srcdir}" in
   . )
     ## We may be able to use the $PWD environment variable to make this
     ## absolute.  But sometimes PWD is inaccurate.
-    if [ "${PWD}" != "" ] && [ "`(cd ${PWD} ; pwd)`" = "`pwd`" ] ; then
+    if [ "${PWD}" != "" ] && [ "`(cd ${PWD} ; sh -c pwd)`" = "`pwd`" ] ; then
       srcdir="$PWD"
     else
       srcdir="`(cd ${srcdir}; pwd)`"
-- 
2.39.5