http://hydra.gnu.org/build/1971604 http://hydra.gnu.org/build/1973068 http://hydra.gnu.org/build/1973406
It builds fine on my laptop. Does anybody have an idea what might cause this problem (could it be a hydra resource shortage)? Does it make sense to restart the build once again?
Thomas
