diff options
Diffstat (limited to 'gnattools/ChangeLog')
-rw-r--r-- | gnattools/ChangeLog | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gnattools/ChangeLog b/gnattools/ChangeLog index 4daff874eb1..bdcd968f308 100644 --- a/gnattools/ChangeLog +++ b/gnattools/ChangeLog @@ -1,3 +1,9 @@ +2015-12-06 Eric Botcazou <ebotcazou@adacore.com> + + PR ada/50048 + * Makefile.in (ftop_srcdir): New variable. + (INCLUDES_FOR_SUBDIR): Use -iquote and $(ftop_srcdir). + 2015-06-08 John Marino <gnugcc@marino.st> * configure.ac (*-*-dragonfly*): New configuration. |