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. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
