dolfin team mailing list archive

[Martin Sandve Alnæs <martinal@xxxxxxxxx>]

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

Martin
Den 4. mars 2013 23:01 skrev "Anders Logg" <logg@xxxxxxxxx> 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@xxxxxxxxxxxxxxxxxxx
> Unsubscribe : https://launchpad.net/~dolfin
> More help   : https://help.launchpad.net/ListHelp
>