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

diff --git a/make.py b/make.py
index d3ddc7a..b0d3967 100755
--- a/make.py
+++ b/make.py
@@ -136,7 +136,7 @@ CPU type:  {}
         actions["build-headers"] = True
 
     if actions["clean"]:
-        subprocess.check_call(["rm", "-rvf", "build/*"])
+        subprocess.check_call("rm -rvf build/*", shell=True) # Need shell for 
the build/* globbing
         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.5.0.rc2.392.g76e840b

_______________________________________________
M-Labs devel mailing list
https://ssl.serverraum.org/lists/listinfo/devel

Reply via email to