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