- wipe config related files in distclean
authorBernhard Reutner-Fischer <rep.dot.nop@gmail.com>
Mon, 9 Jul 2007 08:06:27 +0000 (08:06 -0000)
committerBernhard Reutner-Fischer <rep.dot.nop@gmail.com>
Mon, 9 Jul 2007 08:06:27 +0000 (08:06 -0000)
Makefile

index dd21ac9438cbd37928a50d192f15fdf3ad8e8762..2b1deabca3e88702c43cfa07ad88a187ff012235 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -244,7 +244,8 @@ distclean:
 ifeq ($(DL_DIR),$(BASE_DIR)/dl)
        rm -rf $(DL_DIR)
 endif
-       rm -rf $(BUILD_DIR) $(LINUX_KERNEL) $(IMAGE)
+       rm -rf $(BUILD_DIR) $(LINUX_KERNEL) $(IMAGE) $(BASE_DIR)/include \
+               .config.cmd
        $(MAKE) -C $(CONFIG) clean
 
 sourceball: