diff options
-rwxr-xr-x | bin/update_pch.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/update_pch.sh b/bin/update_pch.sh index 95457e561d32..c4a5f3d6d88a 100755 --- a/bin/update_pch.sh +++ b/bin/update_pch.sh @@ -12,7 +12,8 @@ # Invoke: make cmd cmd="./bin/update_pch.sh [..]" root=`dirname $0` -root=`cd $root/.. && pwd` +root=`cd $root/.. >/dev/null && pwd` +root=`readlink -f $root` cd $root if test -z "$1"; then |