On Sun, Dec 7, 2014 at 2:41 PM, Maximilian Albert <[email protected]> wrote: > 2014-12-07 13:20 GMT+00:00 Johannes Ring <[email protected]>: >> >> >> I have updated the script now to build its own python. That should >> hopefully fix this problem. > > > Thanks Johannes! Is it recommended to delete ~/.hashdist before building > FEniCS again or does hashdist take care of any required cleanup > automatically?
No, deleting ~/.hashdist is not needed unless you really have to save space. HashDist has its own garbage collection system which can be used to clean up ~/.hashdist later. Johannes _______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
