diff --git a/install.sh b/install.sh index 6c48b25482..ad8547af21 100755 --- a/install.sh +++ b/install.sh @@ -4,7 +4,7 @@ set -e set -u basedir=$(dirname "$0") -IDF_PATH=$(cd "${basedir}"; pwd) +IDF_PATH=$(cd "${basedir}"; pwd -P) export IDF_PATH echo "Detecting the Python interpreter"