From bf9db9e20d75cc18cb711f148814a5d3aae79483 Mon Sep 17 00:00:00 2001
From: Eugene Sandulenko
Date: Wed, 15 May 2013 15:42:08 +0300
Subject: MAKE: Make distclean clean everything, including devtools

---
 Makefile.common | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index 08ff411bb1..4350e16adc 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -78,7 +78,7 @@ endif
 $(EXECUTABLE): $(OBJS)
 	$(QUIET_LINK)$(LD) $(LDFLAGS) $(PRE_OBJS_FLAGS) $+ $(POST_OBJS_FLAGS) $(LIBS) -o $@
 
-distclean: clean
+distclean: clean clean-devtools
 	$(RM) config.h config.mk config.log
 
 clean:
-- 
cgit v1.2.3