diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2008-05-12 23:58:11 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-05-13 01:58:11 +0200 |
| commit | a476da2659d3cf42e8db36e3f119dd585c0f2327 (patch) | |
| tree | fbb3ac8ea9b21ea18f40deee3baf218218578bce /gnattools | |
| parent | 2ba17291e1d1025140bc59836f34220b38634e33 (diff) | |
| download | gcc-a476da2659d3cf42e8db36e3f119dd585c0f2327.zip gcc-a476da2659d3cf42e8db36e3f119dd585c0f2327.tar.gz gcc-a476da2659d3cf42e8db36e3f119dd585c0f2327.tar.bz2 | |
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
Diffstat (limited to 'gnattools')
| -rw-r--r-- | gnattools/ChangeLog | 5 | ||||
| -rw-r--r-- | gnattools/Makefile.in | 5 |
2 files changed, 5 insertions, 5 deletions
diff --git a/gnattools/ChangeLog b/gnattools/ChangeLog index 34f5ef7..7375dbe 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 eb90a9f..4c50d6e 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 \ |