1 files changed, 0 insertions, 2 deletions
diff --git a/acprep b/acprep
index f025c9ad..9a68e6e3 100755
--- a/acprep
+++ b/acprep
@@ -1330,8 +1330,6 @@ class PrepareBuild(CommandLineApp):
     def phase_proof(self, *args):
         self.log.info('Executing phase: proof')
 
-        self.phase_makeall(*args)
-
         self.log.info('=== Copying source tree ===')
         self.phase_rsync()