diff options
| author | Richard M. Stallman | 1993-09-19 20:04:21 +0000 |
|---|---|---|
| committer | Richard M. Stallman | 1993-09-19 20:04:21 +0000 |
| commit | dce3d8a95ce4ca9802ad83d8d9d09c27028649e6 (patch) | |
| tree | 2ddb18b44c47966279e9d3c4c8925bdfc86b8a99 | |
| parent | e16b32b04560c1456dbdfc05dc0f05907280867c (diff) | |
| download | emacs-dce3d8a95ce4ca9802ad83d8d9d09c27028649e6.tar.gz emacs-dce3d8a95ce4ca9802ad83d8d9d09c27028649e6.zip | |
Use "sh -c pwd" when we want to avoid having the
shell fix up the value of $PWD.
| -rwxr-xr-x | configure1.in | 2 |
1 files changed, 1 insertions, 1 deletions
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 | |||
| 353 | . ) | 353 | . ) |
| 354 | ## We may be able to use the $PWD environment variable to make this | 354 | ## We may be able to use the $PWD environment variable to make this |
| 355 | ## absolute. But sometimes PWD is inaccurate. | 355 | ## absolute. But sometimes PWD is inaccurate. |
| 356 | if [ "${PWD}" != "" ] && [ "`(cd ${PWD} ; pwd)`" = "`pwd`" ] ; then | 356 | if [ "${PWD}" != "" ] && [ "`(cd ${PWD} ; sh -c pwd)`" = "`pwd`" ] ; then |
| 357 | srcdir="$PWD" | 357 | srcdir="$PWD" |
| 358 | else | 358 | else |
| 359 | srcdir="`(cd ${srcdir}; pwd)`" | 359 | srcdir="`(cd ${srcdir}; pwd)`" |