# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1183828919 0
# Node ID 34070d44c3c43ee056a15d44ede695c03eaaf56a
# Parent  bdd97239e6b1368ff70cb2f732bf8418bf667dae
Clean a little bit more.

diff -r bdd97239e6b1 -r 34070d44c3c4 kconfig/Makefile
--- a/kconfig/Makefile	Sat Jul 07 16:12:38 2007 +0000
+++ b/kconfig/Makefile	Sat Jul 07 17:21:59 2007 +0000
@@ -95,6 +95,8 @@
 
 clean::
 	@rm -f $(CT_TOP_DIR)/kconfig/{,m}conf
+	@rmdir --ignore-fail-on-non-empty $(CT_TOP_DIR)/kconfig
+	@rm -f $(CT_TOP_DIR)/config
 	@rm -rf $(CT_TOP_DIR)/config.gen
 
 distclean::