diff options
| author | Robert Norton | 2016-04-13 15:49:06 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-04-13 16:04:01 +0100 |
| commit | f9345ad67348f715754a8d6aba9510fa55aeb74d (patch) | |
| tree | a9a19a0ee390af03ad6968b37bcd1ce15b338ff0 /cheri | |
| parent | b5b74f9fca5a760cb388b1f9ed7873f73b983c45 (diff) | |
Copy run_with_elf to make run_with_elf_cheri and revert run_with_elf to mips version. Temporary 'solution' to building mips and cheri builds until proper factorising can take place.
Diffstat (limited to 'cheri')
0 files changed, 0 insertions, 0 deletions