Make distclean work again: don't try to remove a directory twice.
author"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Jul 08 17:56:13 2007 +0000 (2007-07-08)
changeset 2187feb2fee5add
parent 217 af2745972e3f
child 219 82b295870fce
Make distclean work again: don't try to remove a directory twice.
kconfig/Makefile
     1.1 --- a/kconfig/Makefile	Sun Jul 08 17:44:59 2007 +0000
     1.2 +++ b/kconfig/Makefile	Sun Jul 08 17:56:13 2007 +0000
     1.3 @@ -101,4 +101,3 @@
     1.4  
     1.5  distclean::
     1.6  	@rm -f $(CT_TOP_DIR)/config
     1.7 -	@[ $(CT_LIB_DIR) = $(CT_TOP_DIR) ] || rm -rf $(CT_TOP_DIR)/kconfig