From d8fd4fe7257eea9efe252376305b716b2f51840f Mon Sep 17 00:00:00 2001
From: Tim 'mithro' Ansell <mithro@mithis.com>
Date: Wed, 12 Aug 2015 12:28:50 +0100
Subject: [PATCH] Use shutil rather then rm -rf command.

---
 make.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/make.py b/make.py
index b0d3967d..2d1c51b3 100755
--- a/make.py
+++ b/make.py
@@ -5,6 +5,7 @@ import os
 import argparse
 import subprocess
 import struct
+import shutil
 
 from mibuild.tools import write_to_file
 from migen.util.misc import autotype
@@ -136,7 +137,8 @@ CPU type:  {}
         actions["build-headers"] = True
 
     if actions["clean"]:
-        subprocess.check_call("rm -rvf build/*", shell=True) # Need shell for the build/* globbing
+        shutil.rmtree("build") # Need shell for the build/* globbing
+        os.mkdir("build")
         subprocess.check_call(["make", "-C", os.path.join("software", "libcompiler-rt"), "clean"])
         subprocess.check_call(["make", "-C", os.path.join("software", "libbase"), "clean"])
         subprocess.check_call(["make", "-C", os.path.join("software", "libnet"), "clean"])
-- 
2.30.2