]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0ded422) | patch
[Ada] Minor tweaks for Repinfo
authorpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 11 Jun 2018 09:18:49 +0000 (09:18 +0000)
committerpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 11 Jun 2018 09:18:49 +0000 (09:18 +0000)
commitec7e01f008db5eaf9447fc67c7c503905129a87f
tree0078b464d5ec9afb5fa6b2fe80b67aa65044e03ctree
parent0ded4220fb9764d9a83ea0a76425583d5cf8050ecommit | diff
[Ada] Minor tweaks for Repinfo

2018-06-11  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

* gnat1drv.adb: Remove use clause for Repinfo.
(Gnat1drv): Beef up comment about the interplay between -gnatc and
back-end annotations.  Use full qualified name for List_Rep_Info.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@261420 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog diff | blob | blame | history
gcc/ada/gnat1drv.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git