diff options
Diffstat (limited to 'util')
| -rwxr-xr-x | util/crossgcc/buildgcc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/util/crossgcc/buildgcc b/util/crossgcc/buildgcc index da9947b961..74a6261764 100755 --- a/util/crossgcc/buildgcc +++ b/util/crossgcc/buildgcc @@ -241,6 +241,8 @@ check_gnat() { printf "requires bootstrapping (-b).${NC}\n\n" HALT_FOR_TOOLS=1 fi + else + please_install gnat fi } |