HomeIsabelle/Phabricator

Add an extra section when exporting on Linux to mark the stack as non…

Description

Add an extra section when exporting on Linux to mark the stack as non-executable.

Details

Provenance
dcjmAuthored on Aug 3 2020, 11:24 PM
Parents
rPOLYML8fc5b4b3ebb6: Remove the configure test for the non-executable stack flag and instead use it…
Branches
Unknown
Tags
Unknown