diff options
Diffstat (limited to 'script')
| -rwxr-xr-x | script/trees | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/script/trees b/script/trees index 698d2b34..b9fd21eb 100755 --- a/script/trees +++ b/script/trees @@ -8,6 +8,7 @@ set -u -e . "include/lib.sh" . "include/git.sh" +. "include/path.sh" XBMKPATH="$PATH" @@ -205,6 +206,8 @@ check_cross_compiler() xfix="${_xarch%-*}" && [ "$xfix" = "x86_64" ] && xfix="x64" + check_gnat_path + # sometimes buildgcc fails for like no reason. try twice. make -C "$cbdir" crossgcc-$xfix $xgccargs || \ make -C "$cbdir" crossgcc-$xfix $xgccargs || \ |