# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1183917373 0
# Node ID 7feb2fee5adda7d57231adc2a8513bc4dda91c2d
# Parent  af2745972e3f9c7cf52c29fc8cd205d455048ccb
Make distclean work again: don't try to remove a directory twice.

diff -r af2745972e3f -r 7feb2fee5add kconfig/Makefile
--- a/kconfig/Makefile	Sun Jul 08 17:44:59 2007 +0000
+++ b/kconfig/Makefile	Sun Jul 08 17:56:13 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