Index: Makefile
===================================================================
--- Makefile	(revision 6095342f82cb691572e06dbe4aef66ee04a8d94a)
+++ Makefile	(revision 6e716a598c8f3711bdf36090c90f37e5a5948fb0)
@@ -156,4 +156,5 @@
 
 config:
+	-rm Makefile.depend
 	tools/config.py