Manually force build all instant bots to clean cache. Then force build
dolfin.

Martin
Den 4. mars 2013 23:01 skrev "Anders Logg" <l...@simula.no> følgende:

> The buildbot is failing after the merge today. It's working fine here
> so I assume the reason is some problem with the synchronization of the
> packages on the buildbots, a need for cleaning out the instant cache
> or similar.
>
> Is it working fine for the rest of you?
>
> Is there some way to clean out and restart all buildbots? Might be
> useful in a case when many things have change across the different
> packages.
>
> --
> Anders
>
> _______________________________________________
> Mailing list: https://launchpad.net/~dolfin
> Post to     : dolfin@lists.launchpad.net
> Unsubscribe : https://launchpad.net/~dolfin
> More help   : https://help.launchpad.net/ListHelp
>
_______________________________________________
Mailing list: https://launchpad.net/~dolfin
Post to     : dolfin@lists.launchpad.net
Unsubscribe : https://launchpad.net/~dolfin
More help   : https://help.launchpad.net/ListHelp

Reply via email to