From d94175a2204434bc095fdd06167a9ba9997cbaef Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 22 Mar 2018 19:16:13 +0000
Subject: Fix cheri Makefile

---
 cheri/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'cheri')

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)
-- 
cgit v1.2.3