get rid of $READLINK variable (#14841)

This commit is contained in:
Andrey Makarov 2020-06-28 18:59:57 +03:00 • committed by GitHub
commit d9c1501757
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -8,9 +8,9 @@ which gdb > /dev/null || (echo "gdb not in PATH"; exit 1)
which readlink > /dev/null || (echo "readlink not in PATH."; exit 1) which readlink > /dev/null || (echo "readlink not in PATH."; exit 1)
if [[ "$(uname -s)" == "Darwin" || "(uname -s)" == *"BSD" ]]; then if [[ "$(uname -s)" == "Darwin" || "(uname -s)" == *"BSD" ]]; then
NIM_SYSROOT=$(dirname $(dirname $($READLINK -f $(which nim)))) NIM_SYSROOT=$(dirname $(dirname $(readlink -f $(which nim))))
else else
NIM_SYSROOT=$(dirname $(dirname $($READLINK -e $(which nim)))) NIM_SYSROOT=$(dirname $(dirname $(readlink -e $(which nim))))
fi fi
# Find out where the pretty printer Python module is # Find out where the pretty printer Python module is