diff --git a/tools/config-pre-0.7-to-0.7.sub.sh b/tools/config-pre-0.7-to-0.7.sub.sh index bb43285..5bc6f75 100755 --- a/tools/config-pre-0.7-to-0.7.sub.sh +++ b/tools/config-pre-0.7-to-0.7.sub.sh @@ -35,7 +35,7 @@ echo "Working on $file ..." if [ -L "${file}" ]; then echo "Converting ${file} ..." - dir="$(cd "${file}" && pwd)"; ret=$? + dir="$(cd "${file}" && pwd -P)"; ret=$? if [ $ret -ne 0 ]; then echo "ERROR: $file is a broken link"