Nicolas Boulenguez <nicolas.boulenguez@...> writes:
> Gnat-gps causes many GNAT freezes with the following message.
> Build killed with signal TERM after [150|300] minutes of inactivity
> For details, see
The way I understood it, there were no GNAT freezes, only machines
too slow to build gnat-gps (takes for example 9 hours and 15 minutes
on armel) and having a timeout that kills the build after 150 or 300
minutes. If that is correct then requesting a rebuild on those
architectures should suffice.
- From: Nicolas Boulenguez <email@example.com>