From e0217a963c6c0e0667d41d075038685956bcfacf Mon Sep 17 00:00:00 2001 From: leochanj Date: Fri, 23 Oct 2020 02:11:48 -0400 Subject: wip --- dis/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dis/Makefile') diff --git a/dis/Makefile b/dis/Makefile index d18761b..77e0b8a 100755 --- a/dis/Makefile +++ b/dis/Makefile @@ -2,7 +2,7 @@ # Build the DIS benchmarks with all-pairs or unpaired instrumentation # (I know that this Makefile is mildly evil and breaks so many rules # that a good Makefile should follow. Sorry - at least I have one.) -LIBLITMUS ?= /playpen/mc2/liblitmus +LIBLITMUS ?= /home/litmus/liblitmus CC ?= gcc override CFLAGS += -pthread -O2 -I.. LDFLAGS = -lrt -lm -- cgit v1.2.2