Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/core
diff options
context:
space:
mode:
authorAndreas Baumann <mail@andreasbaumann.cc>2022-11-24 10:35:31 +0100
committerAndreas Baumann <mail@andreasbaumann.cc>2022-11-24 10:35:31 +0100
commitaebbf8ce9733c754d2064ba20285edc9b63d615f (patch)
tree515c363c90d818b7d940c41a99ce49e1952963b4 /core
parent4caad69b816ed5c083ab45508127dd8eec0f1155 (diff)
extra/ocaml: disabled non-supported frame pointers and also LTO fat object
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions

Copyright © 2002-2022 Judd Vinet and Aaron Griffin. Copyright © 2022 Erich Eckner.
The Arch Linux name and logo are recognized trademarks. Some rights reserved. The registered trademark Linux® is used pursuant to a sublicense from LMI, the exclusive licensee of Linus Torvalds, owner of the mark on a world-wide basis.