diff options
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 3ccc14df..69f12fda 100644 --- a/cheri/Makefile +++ b/cheri/Makefile @@ -70,7 +70,7 @@ extract: cheri_insts.sail $(call EXTRACT_INST,CGetSealed) $(call EXTRACT_INST,CGetPCC) $(call EXTRACT_INST,CGetPCCSetOffset) - $(call EXTRACT_INST,CGetCause + $(call EXTRACT_INST,CGetCause) $(call EXTRACT_INST,CSetCause) $(call EXTRACT_INST,CAndPerm) $(call EXTRACT_INST,CToPtr) |