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