HomeIsabelle/Phabricator

Remove the configure test for the non-executable stack flag and instead use it…

Description

Remove the configure test for the non-executable stack flag and instead use it if it is Linux+ELF.
The configure test no longer worked so the stack was being left as executable.

Details

Provenance
dcjmAuthored on Aug 3 2020, 9:15 PM
Parents
rPOLYML367fef5e6815: Merge branch 'ExecuteWrite' of https://github.com/dcjm/polyml into ExecuteWrite
Branches
Unknown
Tags
Unknown