1 files changed, 0 insertions, 2 deletions
diff --git a/acprep b/acprep
index 3ee47026..915d3dca 100755
--- a/acprep
+++ b/acprep
@@ -1337,8 +1337,6 @@ class PrepareBuild(CommandLineApp):
     def phase_proof(self, *args):
         self.log.info('Executing phase: proof')
 
-        self.phase_makeall(reset=False, *args)
-
         self.log.info('=== Copying source tree ===')
         self.phase_rsync()
         self.phase_makeall(reset=True, *args)