diff options
| -rw-r--r-- | cheri/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cheri/Makefile b/cheri/Makefile index 4e9a397a..813902a2 100644 --- a/cheri/Makefile +++ b/cheri/Makefile @@ -5,6 +5,7 @@ extract: cheri_insts.sail $(call EXTRACT_INST,CGetType) $(call EXTRACT_INST,CGetBase) $(call EXTRACT_INST,CGetOffset) + $(call EXTRACT_INST,CGetLen) $(call EXTRACT_INST,CGetTag) $(call EXTRACT_INST,CGetSealed) $(call EXTRACT_INST,CGetPCC) |