diff options
-rw-r--r-- | Changes | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -94,6 +94,13 @@ Working version (Leo White, Xavier Clerc, report by Alex, review by Gabriel Scherer and Pierre Chambart) +- GPR#1323: make sure that frame tables are generated in the data + section and not in the read-only data section, as was the case + before in the PPC and System-Z ports. This avoids relocations in + the text segment of shared libraries and position-independent + executables generated by ocamlopt. + (Xavier Leroy, review by Mark Shinwell) + ### Standard library: - MPR#1771, MPR#7309, GPR#1026: Add update to maps. Allows to update a |