diff options
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 144cce05964..d86a991732e 100644 --- a/gnattools/ChangeLog +++ b/gnattools/ChangeLog @@ -1,3 +1,8 @@ +2021-05-07 Bob Duff <duff@adacore.com> + + * Makefile.in (GENERATED_FILES_FOR_TOOLS): New variable. + ($(GCC_DIR)/stamp-tools): Walk it for the first copy operation. + 2018-11-19 Alexandre Oliva <oliva@adacore.com> PR ada/81878 |