From ffc717717c784ab246e07f3dcbeeaa5f7a0410e2 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Mon, 12 Mar 2018 07:53:31 +0530
Subject: [PATCH] Oops

---
 setup.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/setup.py b/setup.py
index ddb9a5c4d..1aab8f96f 100755
--- a/setup.py
+++ b/setup.py
@@ -616,7 +616,7 @@ def clean():
                 else:
                     os.unlink(x)
 
-    shutil.rmtree('build', 'compile_commands.json')
+    safe_remove('build', 'compile_commands.json')
     for root, dirs, files in os.walk('.'):
         remove_dirs = {d for d in dirs if d == '__pycache__'}
         [(shutil.rmtree(os.path.join(root, d)), dirs.remove(d)) for d in remove_dirs]