re PR ada/31808 (cross-built gnattools installs vxaddr2line regardless of target triplet)

PR ada/31808
* Makefile.in (gnattools-cross): Do not build vxaddr2line

From-SVN: r135239

gnattools/ChangeLog

+2008-05-13  Arnaud Charlet  <charlet@adacore.com>
+
+	PR ada/31808
+	* Makefile.in (gnattools-cross): Do not build vxaddr2line
+
 2008-04-05  Arnaud Charlet  <charlet@adacore.com>
 
 	* Makefile.in: Remove handling of gnatbl.

gnattools/Makefile.in

@@ -232,11 +232,6 @@ gnattools-cross: $(GCC_DIR)/stamp-tools
 	$(MAKE) -C $(GCC_DIR)/ada/tools -f ../Makefile \
 	  $(TOOLS_FLAGS_TO_PASS_CROSS) \
 	  $(GNATTOOLS2_FILES)
-	# gnattools4 (cross only)
-	$(MAKE) -C $(GCC_DIR)/ada/tools -f ../Makefile \
-	  $(TOOLS_FLAGS_TO_PASS_CROSS) \
-	  top_buildir=../../.. \
-           ../../vxaddr2line$(exeext)
 	# Rename cross tools to where the GCC makefile wants them when
 	# installing.  FIXME: installation should be done elsewhere.
 	if [ -f $(GCC_DIR)/gnatbind$(exeext) ] ; then \