From d86fb46650d596ff387dc614bf32d608d8ef48f7 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Sat, 31 Oct 2009 05:54:24 -0400
Subject: [PATCH] Fixed a duplicated call to makeall in phase_proof

---
 acprep | 2 --
 1 file changed, 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()