summaryrefslogtreecommitdiff
path: root/gnattools
diff options
context:
space:
mode:
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2008-05-12 23:58:11 +0000
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2008-05-12 23:58:11 +0000
commit3a03dfc2c4b46394899ee3bbf322da26731f5721 (patch)
treefbb3ac8ea9b21ea18f40deee3baf218218578bce /gnattools
parent06cecc47f09f4e431c2dccca99299d69de0a9669 (diff)
downloadgcc-3a03dfc2c4b46394899ee3bbf322da26731f5721.tar.gz
PR ada/31808
* Makefile.in (gnattools-cross): Do not build vxaddr2line git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@135239 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gnattools')
-rw-r--r--gnattools/ChangeLog5
-rw-r--r--gnattools/Makefile.in5
2 files changed, 5 insertions, 5 deletions
diff --git a/gnattools/ChangeLog b/gnattools/ChangeLog
index 34f5ef7c0ac..7375dbea33b 100644
--- a/gnattools/ChangeLog
+++ b/gnattools/ChangeLog
@@ -1,3 +1,8 @@
+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.
diff --git a/gnattools/Makefile.in b/gnattools/Makefile.in
index eb90a9fd09f..4c50d6e1cce 100644
--- a/gnattools/Makefile.in
+++ b/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 \