diff -r 34070d44c3c4 -r 28bc219f3fb4 kconfig/Makefile
--- a/kconfig/Makefile	Sat Jul 07 17:21:59 2007 +0000
+++ b/kconfig/Makefile	Sat Jul 14 16:41:03 2007 +0000
@@ -101,4 +101,3 @@
 
 distclean::
 	@rm -f $(CT_TOP_DIR)/config
-	@[ $(CT_LIB_DIR) = $(CT_TOP_DIR) ] || rm -rf $(CT_TOP_DIR)/kconfig