diff --git a/gnattools/ChangeLog b/gnattools/ChangeLog
index bdcd968f308c..18aa7021d661 100644
--- a/gnattools/ChangeLog
+++ b/gnattools/ChangeLog
@@ -1,3 +1,8 @@
+2016-04-04  Segher Boessenkool  <segher@kernel.crashing.org>
+
+	PR bootstrap/70173
+	* Makefile.in (distclean): Also delete config.cache .
+
 2015-12-06  Eric Botcazou  <ebotcazou@adacore.com>
 
 	PR ada/50048
diff --git a/gnattools/Makefile.in b/gnattools/Makefile.in
index 0c889eeec7b7..f949ca9b34bf 100644
--- a/gnattools/Makefile.in
+++ b/gnattools/Makefile.in
@@ -309,7 +309,7 @@ mostlyclean:
 clean:
 
 distclean:
-	$(RM) Makefile config.status config.log
+	$(RM) Makefile config.status config.log config.cache
 
 maintainer-clean: