diff --git a/ChangeLog b/ChangeLog
index c8d69c0385e8..3556f7664bb8 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2009-05-24  Nicolas Roche  <roche@adacore.com>
+
+	* Makefile.tpl (compare-target): Skip ./ada/*tools directories.
+	* Makefile.in: Regenerate.
+
 2009-05-21  Denis Chertykov  <chertykov@gmail.com>
 
 	* MAINTAINERS: Update my e-mail address.
diff --git a/Makefile.in b/Makefile.in
index 23b3688283bc..65835c59580c 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -52218,7 +52218,7 @@ compare:
 	  $(do-compare) > /dev/null 2>&1; \
 	  if test $$? -eq 1; then \
 	    case $$file in \
-	      ./cc*-checksum$(objext) | ./libgcc/* ) \
+	      ./cc*-checksum$(objext) | ./libgcc/* | ./ada/*tools/* ) \
 	        echo warning: $$file differs ;; \
 	      *) \
 	        echo $$file differs >> .bad_compare ;; \
@@ -52543,7 +52543,7 @@ compare3:
 	  $(do-compare3) > /dev/null 2>&1; \
 	  if test $$? -eq 1; then \
 	    case $$file in \
-	      ./cc*-checksum$(objext) | ./libgcc/* ) \
+	      ./cc*-checksum$(objext) | ./libgcc/* | ./ada/*tools/* ) \
 	        echo warning: $$file differs ;; \
 	      *) \
 	        echo $$file differs >> .bad_compare ;; \
diff --git a/Makefile.tpl b/Makefile.tpl
index ff058d660c52..ecc903ed614b 100644
--- a/Makefile.tpl
+++ b/Makefile.tpl
@@ -1434,7 +1434,7 @@ do-clean: clean-stage[+id+]
 	  $(do-[+compare-target+]) > /dev/null 2>&1; \
 	  if test $$? -eq 1; then \
 	    case $$file in \
-	      ./cc*-checksum$(objext) | ./libgcc/* ) \
+	      ./cc*-checksum$(objext) | ./libgcc/* | ./ada/*tools/* ) \
 	        echo warning: $$file differs ;; \
 	      *) \
 	        echo $$file differs >> .bad_compare ;; \