]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6a5eb72) | patch
ada: Add comment describing Partition_Elaboration_Policy dependency.
authorSteve Baird <baird@adacore.com>
Thu, 16 Nov 2023 23:01:59 +0000 (15:01 -0800)
committerMarc Poulhiès <poulhies@adacore.com>
Thu, 30 Nov 2023 10:12:47 +0000 (11:12 +0100)
commit769e5925f6a076436981ba64335979b19106f828
treedd0142a9da28d5f1ef3124386c20bd6fac0f14d2tree
parent6a5eb72be832d308be93ea9f6a07087aa49024e9commit | diff
ada: Add comment describing Partition_Elaboration_Policy dependency.

Add a comment in the spec for the default (as opposed to hie) version of
Ada.Real_Time.Timing_Events indicating that it is incompatible with a
a Partition_Elaboration_Policy specification specifying a policy other than
Concurrent.

gcc/ada/

* libgnarl/a-rttiev.ads: add a comment
gcc/ada/libgnarl/a-rttiev.ads diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git