From 81df22641fe2bee39b9635e044dadd685eda1526 Mon Sep 17 00:00:00 2001 From: Bernhard Reutner-Fischer Date: Mon, 9 Jul 2007 08:06:27 +0000 Subject: [PATCH] - wipe config related files in distclean --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index dd21ac9438..2b1deabca3 100644 --- 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: