diff options
| author | Robert Norton | 2016-05-09 16:51:53 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-05-09 16:52:06 +0100 |
| commit | 75f573a90e3b658bed20fd2c8257ecf36b7d476a (patch) | |
| tree | 2ee2e6723c8a4d9be3a07471950e3451e059bba3 /mips | |
| parent | 89d455ae3254ee73cb5c8ae433280892db659ad3 (diff) | |
fix mips build by copying across run_with_elf_cheri.ml and removing cheri parts.
Diffstat (limited to 'mips')
0 files changed, 0 insertions, 0 deletions