diff options
author | GCC Administrator <gccadmin@gcc.gnu.org> | 2021-05-08 00:16:27 +0000 |
---|---|---|
committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2021-05-08 00:16:27 +0000 |
commit | 62d87a321b29f9febdacc6220367021d98db3057 (patch) | |
tree | d8763feb89aa1e2163a1ec51de99b0fe2be6dd8b /gnattools | |
parent | 292da5c58da8fe60395c4b7569a0e828c800ded5 (diff) |
Daily bump.
Diffstat (limited to 'gnattools')
-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 |