On Wed, Apr 22, 2015 at 10:15 AM, Jan Blechta <[email protected]> wrote: > AFAIK, it's not owned by root but it does not have write permissions.
Yes, it is not owned by root, but the build artifacts in .hashdist/bld are write protected. > Just run, for instance > > chmod -R u+w <directory_you_want_to_delete> > rm -rf <directory_you_want_to_delete> The correct way to remove a build artifact would be by using "hit purge". Johannes _______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
