Re: gnat-gps

[Ludovic Brenta <ludovic@ludovic-brenta.org>]

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
> https://buildd.debian.org/status/logs.php?pkg=gnat-gps

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.

-- 
Ludovic Brenta.