Bugfix

diff --git a/kernel/makefile b/kernel/makefile
index 09af72ef3d0ecc166298dd9b925fdcbed98ab84f..004d467cd95949f5f1f2d8a0f53d9a984e0d4b25 100644 (file)
--- a/kernel/makefile
+++ b/kernel/makefile
@@ -47,7 +47,8 @@ clean-repo: clean-repo//linux
 update-repo: update-repo//linux
        @true
 
-clean-build-all: clean-build
+clean-build-all:
+       rm -rf "bin/"
 
 clean-build:
        rm -rf "bin/$$KERNEL_CONFIG_TARGET/"