From 3d93f4751ea2d40babcff71c74effe12792abf4a Mon Sep 17 00:00:00 2001
From: leochanj105 <leochanj@live.unc.edu>
Date: Tue, 19 Oct 2021 21:31:21 -0400
Subject: fix some problems

---
 SD-VBS/common/makefiles/Makefile.common | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'SD-VBS')

diff --git a/SD-VBS/common/makefiles/Makefile.common b/SD-VBS/common/makefiles/Makefile.common
index ab3a6b4..15f4f56 100644
--- a/SD-VBS/common/makefiles/Makefile.common
+++ b/SD-VBS/common/makefiles/Makefile.common
@@ -29,7 +29,7 @@ PRELOAD_TIMES_DIR := $(TOP_DIR)/preload-times/$(BMARK)
 MTIMING_DIR := $(TOP_DIR)/cycles/$(BMARK)
 BMARK_DIR := $(TOP_DIR)/benchmarks/$(BMARK)
 TOOL_DIR := $(TOP_DIR)/tools
-LIBLITMUS ?= /playpen/mc2/liblitmus
+LIBLITMUS ?= /home/ae/liblitmus
 ifneq ($(shell grep "define LITMUS 1" ${TOP_DIR}/../extra.h),)
 	override CFLAGS += -I${LIBLITMUS}/include -I${LIBLITMUS}/arch/arm/include
 	override LDFLAGS += -L${LIBLITMUS} -llitmus
-- 
cgit v1.2.2