diff --git a/gnattools/Makefile.in b/gnattools/Makefile.in
index fcd59ce74695e5f680f1bb721a465798a5e21003..3a1a0544271be0a246eb6336e35e20383b19e11d 100644
--- a/gnattools/Makefile.in
+++ b/gnattools/Makefile.in
@@ -225,7 +225,7 @@ regnattools: $(GCC_DIR)/stamp-gnatlib
 # files that are among the sources
 # FIXME: This should be done in configure.
 RTS_DIR:=$(strip $(subst \,/,$(shell gnatls -v | grep adalib )))
-gnattools-cross: $(GCC_DIR)/stamp-tools $(GCC_DIR)/stamp-gnatlib
+gnattools-cross: $(GCC_DIR)/stamp-tools
 	# gnattools1-re
 	$(MAKE) -C $(GCC_DIR)/ada/tools -f ../Makefile \
 	  $(TOOLS_FLAGS_TO_PASS_CROSS) INCLUDES="" \