diff options
| -rw-r--r-- | cheri/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cheri/Makefile b/cheri/Makefile index e6c57780..c7f72557 100644 --- a/cheri/Makefile +++ b/cheri/Makefile @@ -53,6 +53,7 @@ extract: cheri_insts.sail $(call EXTRACT_INST,CCheckType) $(call EXTRACT_INST,CTestSubset) $(call EXTRACT_INST,CSeal) + $(call EXTRACT_INST,CCSeal) $(call EXTRACT_INST,CUnseal) $(call EXTRACT_INST,CCall) $(call EXTRACT_INST,CCall2) |