diff --git a/envsetup.sh b/envsetup.sh
index 70cb2de..eaaf4a0 100644
--- a/envsetup.sh
+++ b/envsetup.sh
@@ -588,7 +588,7 @@
             T=
             while [ \( ! \( -f $TOPFILE \) \) -a \( $PWD != "/" \) ]; do
                 \cd ..
-                T=`PWD= /bin/pwd`
+                T=`PWD= /bin/pwd -P`
             done
             \cd $HERE
             if [ -f "$T/$TOPFILE" ]; then