From bf9db9e20d75cc18cb711f148814a5d3aae79483 Mon Sep 17 00:00:00 2001
From: Eugene Sandulenko <sev@scummvm.org>
Date: Wed, 15 May 2013 15:42:08 +0300
Subject: [PATCH] MAKE: Make distclean clean everything, including devtools

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

diff --git a/Makefile.common b/Makefile.common
index 08ff411bb1c..4350e16adc9 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: