From 5a9b56f024a38cd497e5d8b7dce6c17c599d277f Mon Sep 17 00:00:00 2001 From: John Wiegley Date: Mon, 23 Apr 2012 00:21:26 -0500 Subject: Use chmod before removing the proof build directory --- acprep | 1 + 1 file changed, 1 insertion(+) diff --git a/acprep b/acprep index 4ebd6914..88b84c08 100755 --- a/acprep +++ b/acprep @@ -1646,6 +1646,7 @@ class PrepareBuild(CommandLineApp): try: shutil.rmtree(self.build_directory()) except: + self.execute('chmod', '-R', 'u+w', self.build_directory()) self.execute('rm', '-fr', self.build_directory()) def phase_distcheck(self, *args): -- cgit v1.2.3