From 151d86b911c9a266465638ee3514156dfb178e92 Mon Sep 17 00:00:00 2001
From: Shaked Flur
Date: Wed, 31 Jan 2018 16:22:12 +0000
Subject: minor rename

---
 src/Makefile | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'src')

diff --git a/src/Makefile b/src/Makefile
index 44d1b8b2..2bd31c14 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -88,12 +88,12 @@ test: sail interpreter
 	./run_tests.native
 
 THIS_MAKEFILE := $(realpath $(lastword $(MAKEFILE_LIST)))
-BITBUCKET_ROOT=$(realpath $(dir $(THIS_MAKEFILE))../..)
+PROJECT_ROOT=$(realpath $(dir $(THIS_MAKEFILE))../..)
 
-LEM = $(BITBUCKET_ROOT)/lem/lem
-ELFDIR= $(BITBUCKET_ROOT)/linksem
+LEM = $(PROJECT_ROOT)/lem/lem
+ELFDIR= $(PROJECT_ROOT)/linksem
 
-SAIL_DIR:=$(BITBUCKET_ROOT)/sail
+SAIL_DIR:=$(PROJECT_ROOT)/sail
 MIPS_SAIL_DIR:=$(SAIL_DIR)/mips
 
 MIPS_SAILS_PRE:=$(MIPS_SAIL_DIR)/mips_prelude.sail $(MIPS_SAIL_DIR)/mips_tlb.sail $(MIPS_SAIL_DIR)/mips_wrappers.sail $(MIPS_SAIL_DIR)/mips_insts.sail $(MIPS_SAIL_DIR)/mips_ri.sail $(MIPS_SAIL_DIR)/mips_epilogue.sail
-- 
cgit v1.2.3