| Index: tools/cr/cr-bash-helpers.sh
|
| diff --git a/tools/cr/cr-bash-helpers.sh b/tools/cr/cr-bash-helpers.sh
|
| index f80377156edab8212fa7956fccf615ce70f8a954..9e57b419ff2ef535a3b749242a05d3ad0b0b7e3a 100755
|
| --- a/tools/cr/cr-bash-helpers.sh
|
| +++ b/tools/cr/cr-bash-helpers.sh
|
| @@ -14,8 +14,12 @@ if [[ -n "$BASH_VERSION" && "${BASH_SOURCE:-$0}" == "$0" ]]; then
|
| exit 1
|
| fi
|
|
|
| +READLINK_e="readlink -e"
|
| +if [[ -x `which greadlink` ]]; then
|
| + READLINK_e="greadlink -e"
|
| +fi
|
|
|
| -cr_base_dir=$(dirname $(realpath "${BASH_SOURCE:-$0}"))
|
| +cr_base_dir=$(dirname $($READLINK_e "${BASH_SOURCE:-$0}"))
|
| cr_main="${cr_base_dir}/main.py"
|
| cr_exec=("PYTHONDONTWRITEBYTECODE=1" "python" "${cr_main}")
|
|
|
|
|