summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xacprep3
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)