1 files changed, 2 insertions, 5 deletions
diff --git a/acprep b/acprep
index 574b51ec..807ad98b 100755
--- a/acprep
+++ b/acprep
@@ -1334,6 +1334,8 @@ class PrepareBuild(CommandLineApp):
     def phase_proof(self, *args):
         self.log.debug('Executing phase: proof')
 
+        self.phase_makeall(*args)
+
         self.log.info('=== Copying source tree ===')
         self.phase_rsync()
 
@@ -1403,11 +1405,6 @@ class PrepareBuild(CommandLineApp):
         
         self.configure_flavor('default', False)
 
-    def phase_do_all(self, *args):
-        self.log.debug('Executing phase: do_all')
-        self.phase_makeall(*args)
-        self.phase_proof(*args)
-
     #########################################################################
     # Help                                                                  #
     #########################################################################