diff --git a/make.py b/make.py index b0d3967d7..2d1c51b3f 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"])