diff options
| author | Erik Zscheile <zseri.devel@ytrizja.de> | 2020-11-26 19:32:12 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2020-11-27 06:06:59 +0100 |
| commit | 0150eb8293a7c88f493a4f4b145dacf173aa8275 (patch) | |
| tree | 1c135de250b0e0fc80b49d187f17bdd275569355 /src/grt/grt-values.ads | |
| parent | 7ed5f245b145bdbc98da183236100c2e3a0163a9 (diff) | |
| download | ghdl-0150eb8293a7c88f493a4f4b145dacf173aa8275.tar.gz ghdl-0150eb8293a7c88f493a4f4b145dacf173aa8275.tar.bz2 ghdl-0150eb8293a7c88f493a4f4b145dacf173aa8275.zip | |
Fix #1524: 'ghdl build produces an executable with RWX sections'
Diffstat (limited to 'src/grt/grt-values.ads')
0 files changed, 0 insertions, 0 deletions