1 files changed, 1 insertions, 1 deletions

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