diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2018-06-26 16:24:34 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2018-06-26 16:24:34 +0200 |
| commit | 265fdd4f703b0310fbcf5ad448c29dc34f7ff33a (patch) | |
| tree | 4b7dc97609bc60e463503e04748e01dd60c44029 /test/mppa/generate.sh | |
| parent | 408ae8c4451b49277e8b97bbb7cedd2fb905bcdb (diff) | |
| download | compcert-kvx-265fdd4f703b0310fbcf5ad448c29dc34f7ff33a.tar.gz compcert-kvx-265fdd4f703b0310fbcf5ad448c29dc34f7ff33a.zip | |
Fixed CompCert library inclusion. Indirect fix for udivd and umodd
Diffstat (limited to 'test/mppa/generate.sh')
0 files changed, 0 insertions, 0 deletions