diff options
| author | Robert Norton | 2018-04-25 16:26:24 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-04-26 11:49:57 +0100 |
| commit | e18d8f85058f50043e600c4a0c32937a24777438 (patch) | |
| tree | dabbc7b609aa040eb85580f397ff82e16c06496b /Makefile | |
| parent | 2217a2537cc504d298da763af613f56965782274 (diff) | |
Remove obsolete mips/cheri rules from sail makefile. These are now built in their respective subdirectories.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions