diff options
Diffstat (limited to 'script/trees')
| -rwxr-xr-x | script/trees | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/script/trees b/script/trees index 045a49f7..43cd39cc 100755 --- a/script/trees +++ b/script/trees @@ -217,8 +217,8 @@ check_cross_compiler() $err "!mkxgcc $project/$xtree '$xfix' '$xgccargs'" # we only want to mess with hostcc to build xgcc - rm -f "$XBMK_CACHE/xbmkpath/"* || \ - $err "Cannot clear xbmkpath/"; : + rm -f "$XBMK_CACHE/gnupath/"* || \ + $err "Cannot clear gnupath/"; : done; return 0 } @@ -255,8 +255,8 @@ check_gnu_path() [ "$gnatfull" = "$gccfull" ] || return 1 ( - rm -f "$XBMK_CACHE/xbmkpath/"* || $err "Cannot clear xbmkpath/" - cd "$XBMK_CACHE/xbmkpath" || $err "Can't cd to xbmkpath/" + rm -f "$XBMK_CACHE/gnupath/"* || $err "Cannot clear gnupath/" + cd "$XBMK_CACHE/gnupath" || $err "Can't cd to gnupath/" for _gnubin in "$_gnudir/$2"*"-$_gnuver"; do [ -e "$_gnubin" ] || continue; _gnuutil="${_gnubin##*/}" x_ ln -s "$_gnubin" "${_gnuutil%"-$_gnuver"}" |