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 ******************************************************************************
