From d97503d21f7f5921008fb22dbe823fa282f1b2b1 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Thu, 14 Apr 2016 12:11:41 +0100
Subject: add cheri make target analagous to mips

---
 src/Makefile | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src')

diff --git a/src/Makefile b/src/Makefile
index c010b992..12535ace 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -64,6 +64,8 @@ run_cheri.native:  _build/cheri.ml _build/mips_extras.ml _build/run_with_elf_che
 
 mips: elf run_mips.native
 
+cheri: elf run_cheri.native
+
 clean:
 	-ocamlbuild -clean
 	-rm -rf _build *.native
-- 
cgit v1.2.3