Hi Rémi,
It seems to me that the buildbot started failing between builds 4343 and
4344 (below) allthough it compiled exactly the same source in both cases.
Could it be a full HD or something server side?
Thx
Bruno
https://yade-dem.org/buildbot/builders/yade-full/builds/4343
https://yade-dem.org/buildbot/builders/yade-full/builds/4344
_______________________________________________
Mailing list: https://launchpad.net/~yade-dev
Post to : yade-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~yade-dev
More help : https://help.launchpad.net/ListHelp
