diff options
Diffstat (limited to 'gnattools')
| -rw-r--r-- | gnattools/ChangeLog | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gnattools/ChangeLog b/gnattools/ChangeLog index 3c6d39f6ef0..cbdb44f2412 100644 --- a/gnattools/ChangeLog +++ b/gnattools/ChangeLog @@ -1,3 +1,9 @@ +2008-07-30 Laurent Guerby <laurent@guerby.net> + + PR ada/5911 + * gnattools/Makefile.in: Replace stamp-gnatlib by + stamp-gnatlib-rts. + 2008-06-26 Chris Proctor <chrisp_42@bigpond.com> * configure.ac, configure: Fix target specific pairs. |