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