diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-06-17 16:31:40 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-06-17 16:31:40 +0200 |
| commit | 02083d1e3d82898197966ae1117d89eed9e4e22b (patch) | |
| tree | eef5e204bb34fde87fee83a9dd8840c6c38408d8 /Makefile.extr | |
| parent | a3f91e32d5d907290d194f7c3a0596ab29b3d3fb (diff) | |
| download | compcert-kvx-02083d1e3d82898197966ae1117d89eed9e4e22b.tar.gz compcert-kvx-02083d1e3d82898197966ae1117d89eed9e4e22b.zip | |
Dans test/mppa : changer k1-mbr-gcc en k1-cos-gcc
Diffstat (limited to 'Makefile.extr')
0 files changed, 0 insertions, 0 deletions