Please rebuild magnus/arm with longer timeout
Hi.. could someone please give magnus a rebuild on arm? It would be
great also if it could be rebuild with a longer inactivity timeout.
The C++ file on which it's timing out is *very* large, which is what's
caused the current build failure (from 22 April).
Actually, if there's some way of making it automatically use a longer
timeout whenever it builds on arm then that would be even better, since
magnus/arm has often had this problem in the past.
For reference, the timeout from the build log is below.
Please CC me if there are any comments, i'm not on debian-arm.
Thanks - Ben. :)
g++ -DHAVE_UNISTD_H -Wno-deprecated -fno-operator-names -fsigned-char
-DSAFETY=2 -I../global -Iinclude -I../SessionManager/include
-I../Packages/include -I../Enumerators/include -I../Apps/include
-I../GAP/include -I../AProducts/include -I../NilpotentGroup/include
-I../Todd-Coxeter/include -I../Genetic/include -I../Map/include
-I../Subgroup/include -I../Equations/include -I../Group/include
-I../Matrix/include -I../KB/include -I../FSA/include -I../Elt/include
-I../general/include -I../libg++/include -c src/SA.C -o src/obj/SA.o
make[1]: *** wait: No child processesmake[2]: *** [all]
Terminatedmake[3]: *** . Stop.
make[1]: *** Waiting for unfinished jobs....wait: No child processes.
Stop.
make[3]: *** Waiting for unfinished jobs....
make[1]: *** wait: No child processes. Stop.
make[3]: *** wait: No child processes. Stop.
make[4]: *** [src/obj/SA.o] Terminated
make: *** [build-stamp] Error 2
Build killed with signal 15 after 150 minutes of inactivity
******************************************************************************
Reply to: