dolfin team mailing list archive

["Johannes Ring" <johannr@xxxxxxxxx>]

On Tue, February 17, 2009 12:39, Johannes Ring wrote:
> On Tue, February 17, 2009 12:31, Johan Hake wrote:
>> On Tuesday 17 February 2009 12:24:22 Johannes Ring wrote:
>>> On Tue, February 17, 2009 11:57, Garth N. Wells wrote:
>>> > Can someone re-launch the buildbot? Once it's all clear we can make a
>>> > release.
>>>
>>> Why do you think a re-launch would help? As far as I can see there
>>> hasn't
>>> been any changes after the build tonight.
>>
>> The error was in FFC and this has been updated, which does not trigger a
>> rerun
>> of the buildbot.
>
> The last change to FFC was yesterday at 21:59:38. Everything has been
> rebuilt after that (during the night). Am I missing something?

BTW, it doesn't help to restart the buildbot. To trigger a build you'll
have to press the "Force Build" button every slave on the buildbot.
Everybody can do that.

Johannes