diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2020-01-27 11:43:00 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2020-01-27 11:43:00 +0100 |
commit | 893827f54addca2facc19a8f342b380d63114130 (patch) | |
tree | a6dd12cc5313a996d94806b5c6711f27ef361064 /test/mppa/check.sh | |
parent | 8aa9cb8c221ad4f2d27a7c54eca256bc70425aff (diff) | |
download | compcert-kvx-893827f54addca2facc19a8f342b380d63114130.tar.gz compcert-kvx-893827f54addca2facc19a8f342b380d63114130.zip |
Added a flag to desactivate tail duplication
Diffstat (limited to 'test/mppa/check.sh')
0 files changed, 0 insertions, 0 deletions