aboutsummaryrefslogtreecommitdiff
path: root/gnattools/ChangeLog
diff options
context:
space:
mode:
authorArnaud Charlet <charlet@adacore.com>2008-05-12 23:58:11 +0000
committerArnaud Charlet <charlet@gcc.gnu.org>2008-05-13 01:58:11 +0200
commita476da2659d3cf42e8db36e3f119dd585c0f2327 (patch)
treefbb3ac8ea9b21ea18f40deee3baf218218578bce /gnattools/ChangeLog
parent2ba17291e1d1025140bc59836f34220b38634e33 (diff)
downloadgcc-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/ChangeLog')
-rw-r--r--gnattools/ChangeLog5
1 files changed, 5 insertions, 0 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.