diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2020-01-27 13:25:56 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2020-01-27 13:25:56 +0100 |
commit | b54d18e2e26b3f7745870894d8087162eb33c545 (patch) | |
tree | b95646a0cc3e336ec5e6ce10628861f0368bdc7c /test/mppa/check.sh | |
parent | 893827f54addca2facc19a8f342b380d63114130 (diff) | |
download | compcert-kvx-b54d18e2e26b3f7745870894d8087162eb33c545.tar.gz compcert-kvx-b54d18e2e26b3f7745870894d8087162eb33c545.zip |
Tail duplication optimization defaulting to off
Diffstat (limited to 'test/mppa/check.sh')
0 files changed, 0 insertions, 0 deletions