David Holland wrote: > > The following commits were made between the last successful build and the > failed build: > > > > 2014.07.11.22.33.03 alnsn src/doc/3RDPARTY,v 1.1133 > > There's clearly something wrong in here :-)
In case someone is wondering what is acually causing this, see PR 48914. This really needs to be fixed - random build failures like these are a serious drain on everyone's productivity. -- Andreas Gustafsson, [email protected]
