HomeIsabelle/Phabricator

Use a .data.rel.ro section for the read-only data instead of a .rodata section.

Description

Use a .data.rel.ro section for the read-only data instead of a .rodata section.

Details

Provenance
dcjmAuthored on Oct 20 2020, 8:40 AM
Parents
rPOLYMLd224e17f95a0: Rebuild the configuration files after fixing the change to configure.ac.
Branches
Unknown
Tags
Unknown