diff options
Diffstat (limited to 'envsetup.sh')
| -rw-r--r-- | envsetup.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/envsetup.sh b/envsetup.sh index 2bba626..aa20380 100644 --- a/envsetup.sh +++ b/envsetup.sh @@ -606,7 +606,8 @@ function gettop { local TOPFILE=build/core/envsetup.mk if [ -n "$TOP" -a -f "$TOP/$TOPFILE" ] ; then - echo $TOP + # The following circumlocution ensures we remove symlinks from TOP. + (cd $TOP; PWD= /bin/pwd) else if [ -f $TOPFILE ] ; then # The following circumlocution (repeated below as well) ensures |