Index: tools/cr/cr-bash-helpers.sh |
diff --git a/tools/cr/cr-bash-helpers.sh b/tools/cr/cr-bash-helpers.sh |
index e7e7593df2fb4b53496d3a774c270253257f2553..3fa6a8aa93b3089aff48ff51c14425aeac896ded 100755 |
--- a/tools/cr/cr-bash-helpers.sh |
+++ b/tools/cr/cr-bash-helpers.sh |
@@ -19,7 +19,12 @@ if [[ -x `which greadlink` ]]; then |
READLINK_e=("greadlink" "-e") |
fi |
-cr_base_dir=$(dirname $(${READLINK_e[@]} "${BASH_SOURCE:-$0}")) |
+if [[ $(uname) == "Darwin" ]]; then |
+ cr_base_dir=$(dirname "${BASH_SOURCE:-$0}") |
+else |
+ cr_base_dir=$(dirname $(${READLINK_e[@]} "${BASH_SOURCE:-$0}")) |
+fi |
+ |
cr_main="${cr_base_dir}/main.py" |
cr_exec=("PYTHONDONTWRITEBYTECODE=1" "python" "${cr_main}") |