diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/tree.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/include/tree.sh b/include/tree.sh index 7dbb04cc..e5030064 100644 --- a/include/tree.sh +++ b/include/tree.sh @@ -269,7 +269,8 @@ check_gnu_path() [ "$gnatfull" = "$gccfull" ] || return 1 ( - remkdir "$xbtmp/gnupath" && x_ cd "$xbtmp/gnupath" + remkdir "$xbtmp/gnupath" + x_ cd "$xbtmp/gnupath" for _gnubin in "$_gnudir/$2"*"-$_gnuver"; do _gnuutil="${_gnubin##*/}" && [ -e "$_gnubin" ] && \ x_ ln -s "$_gnubin" "${_gnuutil%"-$_gnuver"}" |