diff options
| author | Michael Schmidt <github@mschmidt.me> | 2017-07-04 13:34:30 +0200 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2017-07-04 13:34:30 +0200 |
| commit | 3767f3c0a7a18623db7a419f4a30c7f0c4898372 (patch) | |
| tree | f86d0f94603f70886112474bfdc73c91861d9586 /riscV | |
| parent | 01bac827fe4731155e5e8f9f5e9702a6c4a2a128 (diff) | |
| download | compcert-3767f3c0a7a18623db7a419f4a30c7f0c4898372.tar.gz compcert-3767f3c0a7a18623db7a419f4a30c7f0c4898372.zip | |
add check for -no-pie at configure-time
Diffstat (limited to 'riscV')
0 files changed, 0 insertions, 0 deletions