From 3d93f4751ea2d40babcff71c74effe12792abf4a Mon Sep 17 00:00:00 2001 From: leochanj105 Date: Tue, 19 Oct 2021 21:31:21 -0400 Subject: fix some problems --- dis/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dis') diff --git a/dis/Makefile b/dis/Makefile index d18761b..68f19e7 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/ae/liblitmus CC ?= gcc override CFLAGS += -pthread -O2 -I.. LDFLAGS = -lrt -lm -- cgit v1.2.2