Index: tools/cr/cr-bash-helpers.sh |
diff --git a/tools/cr/cr-bash-helpers.sh b/tools/cr/cr-bash-helpers.sh |
index 9e57b419ff2ef535a3b749242a05d3ad0b0b7e3a..e7e7593df2fb4b53496d3a774c270253257f2553 100755 |
--- a/tools/cr/cr-bash-helpers.sh |
+++ b/tools/cr/cr-bash-helpers.sh |
@@ -14,12 +14,12 @@ if [[ -n "$BASH_VERSION" && "${BASH_SOURCE:-$0}" == "$0" ]]; then |
exit 1 |
fi |
-READLINK_e="readlink -e" |
+READLINK_e=("readlink" "-e") |
if [[ -x `which greadlink` ]]; then |
- READLINK_e="greadlink -e" |
+ READLINK_e=("greadlink" "-e") |
fi |
-cr_base_dir=$(dirname $($READLINK_e "${BASH_SOURCE:-$0}")) |
+cr_base_dir=$(dirname $(${READLINK_e[@]} "${BASH_SOURCE:-$0}")) |
Miguel Garcia
2014/04/02 16:06:15
I assume you have tested this on bash too?
|
cr_main="${cr_base_dir}/main.py" |
cr_exec=("PYTHONDONTWRITEBYTECODE=1" "python" "${cr_main}") |