On Sun, 25 Feb 2018, Jed Brown wrote: > I now also see that it writes an uninstall script that would delete > /usr/bin if the user installed with --prefix=/usr.
I didn't realize this.. There should never be a 'rmtree' in the uninstall script - as prefix is usually a location shared by multiple packages. For now I'll revert https://bitbucket.org/petsc/petsc/commits/e22ab8e6ea0 Satish
