summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2007-07-08 17:56:13 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2007-07-08 17:56:13 (GMT)
commit396ef34c2eb59c865f2eabc40af18eb1f40be331 (patch)
treed4cc8d2d7978ac574ed0dc1a9c325894f2c9733c
parent1f16f7a6f75786ccc89c268d389d624a826a2e48 (diff)
Make distclean work again: don't try to remove a directory twice.
-rw-r--r--kconfig/Makefile1
1 files changed, 0 insertions, 1 deletions
diff --git a/kconfig/Makefile b/kconfig/Makefile
index 39a6e76..7683ee8 100644
--- a/kconfig/Makefile
+++ b/kconfig/Makefile
@@ -101,4 +101,3 @@ clean::
distclean::
@rm -f $(CT_TOP_DIR)/config
- @[ $(CT_LIB_DIR) = $(CT_TOP_DIR) ] || rm -rf $(CT_TOP_DIR)/kconfig