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

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

(limited to 'src')

diff --git a/src/Makefile b/src/Makefile
index 3e0b9841..9446a693 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -115,7 +115,7 @@ LEM = $(PROJECT_ROOT)/lem/lem
 ELFDIR= $(PROJECT_ROOT)/linksem
 
 SAIL_LIB_DIR:=$(SAIL_DIR)/lib
-MIPS_SAIL_DIR:=$(SAIL_DIR)/mips_new_tc
+MIPS_SAIL_DIR:=$(SAIL_DIR)/mips
 
 MIPS_SAILS_PRE:=$(SAIL_LIB_DIR)/flow.sail $(MIPS_SAIL_DIR)/prelude.sail $(MIPS_SAIL_DIR)/mips_prelude.sail $(MIPS_SAIL_DIR)/mips_tlb.sail $(MIPS_SAIL_DIR)/mips_wrappers.sail $(MIPS_SAIL_DIR)/mips_ast_decl.sail $(MIPS_SAIL_DIR)/mips_insts.sail $(MIPS_SAIL_DIR)/mips_ri.sail $(MIPS_SAIL_DIR)/mips_epilogue.sail
 
-- 
cgit v1.2.3