Don't rsync as much when preparing proof builds

1 files changed, 2 insertions, 1 deletions

diff --git a/acprep b/acprep
index a7be68d6..e303ea61 100755
--- a/acprep
+++ b/acprep
@@ -1706,7 +1706,8 @@ class PrepareBuild(CommandLineApp):
         source_copy_dir = join(self.ensure(self.products_directory()), proof_dir)
 
         self.execute('rsync', '-a', '--delete', '--exclude=/dist/',
-                     '--exclude=.git/', '--exclude=b/', '--exclude=/lib/',
+                     '--exclude=.git/', '--exclude=b/',
+                     '--exclude=/lib/boost-release/',
                      '--exclude=/archive/', '--exclude=/build/',
                      '%s/' % self.source_dir, '%s/' % source_copy_dir)