summaryrefslogtreecommitdiff
path: root/gnattools
diff options
context:
space:
mode:
authorGCC Administrator <gccadmin@gcc.gnu.org>2024-07-08 00:17:01 +0000
committerGCC Administrator <gccadmin@gcc.gnu.org>2024-07-08 00:17:01 +0000
commit53eef7915ac1a9b9ad672cc2e80509c15a764ca2 (patch)
tree3b87f18b44b8f99a0d91e1b9f1467d518b3258e9 /gnattools
parent4594d555aa551a9998fc921363c5f6ea50630d5c (diff)
Daily bump.
Diffstat (limited to 'gnattools')
-rw-r--r--gnattools/ChangeLog5
1 files changed, 5 insertions, 0 deletions
diff --git a/gnattools/ChangeLog b/gnattools/ChangeLog
index 73ffb9068ce..b39fc371818 100644
--- a/gnattools/ChangeLog
+++ b/gnattools/ChangeLog
@@ -1,3 +1,8 @@
+2024-07-07 Maciej W. Rozycki <macro@orcam.me.uk>
+
+ * Makefile.in (gnattools-cross): Also build 'gnattools-cross-mv'
+ in GCC_DIR.
+
2023-04-25 Eric Botcazou <ebotcazou@adacore.com>
* configure.ac (TOOLS_TARGET_PAIRS): Remove obsolete settings.