From 7f894658e6cf53a3ebf4dec5ccf788450de53d1e Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Thu, 8 Mar 2018 16:49:50 +0000
Subject: rename mips_new_tc to mips

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

(limited to 'cheri')

diff --git a/cheri/Makefile b/cheri/Makefile
index 1ec835db..e056a9a9 100644
--- a/cheri/Makefile
+++ b/cheri/Makefile
@@ -2,7 +2,7 @@ THIS_MAKEFILE := $(realpath $(lastword $(MAKEFILE_LIST)))
 SAIL_DIR:=$(realpath $(dir $(THIS_MAKEFILE))..)
 export SAIL_DIR
 SAIL_LIB_DIR:=$(SAIL_DIR)/lib
-MIPS_SAIL_DIR:=$(SAIL_DIR)/mips_new_tc
+MIPS_SAIL_DIR:=$(SAIL_DIR)/mips
 CHERI_SAIL_DIR:=$(SAIL_DIR)/cheri
 SAIL:=$(SAIL_DIR)/sail
 SAIL_LIB_HEADERS:=$(SAIL_LIB_DIR)/flow.sail
-- 
cgit v1.2.3