diff options
| author | Alasdair Armstrong | 2018-03-22 19:16:13 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-03-22 19:16:13 +0000 |
| commit | d94175a2204434bc095fdd06167a9ba9997cbaef (patch) | |
| tree | 40a6827cb93a4652b35beb10b7e02ead00ccf3a9 /cheri | |
| parent | e33c8546e005fba30ff882b188c86ca03d0917c8 (diff) | |
Fix cheri Makefile
Diffstat (limited to 'cheri')
| -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) |