diff options
| author | Robert Norton | 2016-07-27 16:12:54 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-07-27 16:34:22 +0100 |
| commit | 0f4eb884a4acaeaddf419ec568f89af3f0ecd173 (patch) | |
| tree | 5504a300ad6dbdbf4e6e68529a4098f8c7daa9a3 /cheri/Makefile | |
| parent | 0451b5056ff4beead2b0cedc43458e3366414b57 (diff) | |
Normalise whitespace in cheri_insts.sail for cleaner extraction of instructions into manual. Whitespace only.
Diffstat (limited to 'cheri/Makefile')
| -rw-r--r-- | cheri/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cheri/Makefile b/cheri/Makefile index 1c7c2304..200ddd5a 100644 --- a/cheri/Makefile +++ b/cheri/Makefile @@ -14,7 +14,7 @@ extract: cheri_insts.sail $(call EXTRACT_INST,CSetOffset) $(call EXTRACT_INST,CSetBounds) $(call EXTRACT_INST,CClearTag) - $(call EXTRACT_INST,CClearRegs) + $(call EXTRACT_INST,ClearRegs) $(call EXTRACT_INST,CFromPtr) $(call EXTRACT_INST,CCheckPerm) $(call EXTRACT_INST,CCheckType) |