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 }