On 8 December 2014 at 15:32, Anders Logg <[email protected]> wrote: > > @Martin: Yes that seems like a good idea if it makes the script more foolproof.
Johannes: Is it possible to have the instant cache directory associated with the hashdist profile such that hashdist garbage collection can collect the cache as well? If not, is it worth considering as a hashdist feature? Martin
_______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
