1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index f1a75a9..cb18177 100644
--- a/Makefile
+++ b/Makefile
@@ -214,6 +214,7 @@ toolkit: $(TOOLS)
 clean: $(foreach tool,$(TOOLS),$(tool)_clean)
 distclean: clean
 	$(Q)$(call RM,Config)
+	$(Q)$(call RM,config.h)
 mrproper: distclean
 	$(Q)$(GIT_REM)