diff options
| -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)`" |