Index: boot/Makefile
===================================================================
--- boot/Makefile	(revision 53238ba0f652df9cecdff97e15f7dd0c64e78060)
+++ boot/Makefile	(revision 88a0f58ef0fc9c067c9ff215fb6d25e1b4eefe46)
@@ -97,5 +97,5 @@
 	rm -f $(USPACE_PATH)/dist/srv/*
 	rm -rf $(USPACE_PATH)/dist/drv/*
-	rm -f $(USPACE_PATH)/dist/lib/*
+	rm -rf $(USPACE_PATH)/dist/lib/*
 	rm -rf $(USPACE_PATH)/dist/inc/*
 	rm -f $(USPACE_PATH)/dist/app/*