From aba0bb4470deb0298356521f1054c510bc6d315f Mon Sep 17 00:00:00 2001
From: Rene Rivera <grafikrobot@gmail.com>
Date: Mon, 14 May 2018 23:21:10 -0500
Subject: [PATCH] Need full recursive rmdir as it might not be empty.

---
 tools/ci/library_test.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/ci/library_test.py b/tools/ci/library_test.py
index eb84512..d7b0e87 100644
--- a/tools/ci/library_test.py
+++ b/tools/ci/library_test.py
@@ -93,7 +93,7 @@ class script(script_common):
             
         if self.repo != 'boost':
             # Copy in the existing library tree checkout.
-            os.rmdir(self.repo_path)
+            shutil.rmtree(self.repo_path)
             shutil.copytree(self.root_dir, self.repo_path)
         
         # Fetch the dependencies for the library we are testing.