HomeIsabelle/Phabricator
Diffusion Poly/ML 52d2e1a07cef

Don't test whether the assembler supports GNU-stack if we're building the…
52d2e1a07cefUnpublished
Actions

Unpublished Commit · Learn More

  • Repository Importing: This repository is still importing.
  • Not On Permanent Ref: This commit is not an ancestor of any permanent ref.

Description

Don't test whether the assembler supports GNU-stack if we're building the interpreted version.

Details

Provenance
dcjmAuthored on Mar 25 2019, 7:23 PM
Parents
rPOLYML1778279b767e: Remove some functions that are no longer used.
Branches
Unknown
Tags
Unknown

Event Timeline

Changes (2)

PathSize

rPOLYML52d2e1a07cef

View Options

configure

Loading...
View Options

configure.ac

Loading...