diff options
| author | Robert Norton | 2018-03-13 13:17:18 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-03-14 09:39:20 +0000 |
| commit | a6a392775d6717579d99ad18018a1df3e5766e22 (patch) | |
| tree | adac31ec390d1ffdb84350b39a272b1d20d9ffb5 /cheri | |
| parent | 2be85ff41697be7489f37ca989a9879fea31b3b9 (diff) | |
add extract of ccseal instruction.
Diffstat (limited to 'cheri')
| -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) |