diff options
| author |   Eli Schwartz <eschwartz93@gmail.com> | 2024-03-25 00:47:55 -0400 |
|---|---|---|
| committer |   Sam James <sam@gentoo.org> | 2024-03-25 09:20:48 +0000 |
| commit | 1f7d2ab53952c3b003278d0eb3edb8ddc1ae45d4 (patch) | |
| tree | 22fab2da784cfed7151c163a6da1ae07ce29be97 /dev-lang/dafny-bin | |
| parent | games-fps/doomsday: mark as LTO-unsafe (diff) | |
| download | gentoo-1f7d2ab53952c3b003278d0eb3edb8ddc1ae45d4.tar.gz gentoo-1f7d2ab53952c3b003278d0eb3edb8ddc1ae45d4.tar.bz2 gentoo-1f7d2ab53952c3b003278d0eb3edb8ddc1ae45d4.zip | |
games-kids/memonix: mark as LTO-unsafe, strict-aliasing unsafe
Closes: https://bugs.gentoo.org/858782
Signed-off-by: Eli Schwartz <eschwartz93@gmail.com>
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-lang/dafny-bin')
0 files changed, 0 insertions, 0 deletions