diff options
| -rw-r--r-- | scripts/crosstool-NG.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/crosstool-NG.sh b/scripts/crosstool-NG.sh index 9bd80ad..19b9519 100644 --- a/scripts/crosstool-NG.sh +++ b/scripts/crosstool-NG.sh @@ -117,6 +117,7 @@ cat "${paths_sh_location}" |while read trash line; do eval path=${line#*=} if [ ! -r "${CT_LIB_DIR}/scripts/override/$tool" ]; then if [ -n "${path}" ]; then + CT_DoExecLog ALL rm -f "${CT_TOOLS_OVERRIDE_DIR}/bin/${tool}" CT_DoExecLog ALL ln -s "${path}" "${CT_TOOLS_OVERRIDE_DIR}/bin/${tool}" fi continue |