diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-05-12 23:58:11 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-05-12 23:58:11 +0000 |
| commit | 3a03dfc2c4b46394899ee3bbf322da26731f5721 (patch) | |
| tree | fbb3ac8ea9b21ea18f40deee3baf218218578bce /gnattools/ChangeLog | |
| parent | 06cecc47f09f4e431c2dccca99299d69de0a9669 (diff) | |
| download | gcc-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/ChangeLog')
| -rw-r--r-- | gnattools/ChangeLog | 5 |
1 files changed, 5 insertions, 0 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. |