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