summaryrefslogtreecommitdiffstats
path: root/dis/Makefile
diff options
context:
space:
mode:
authorJoshua Bakita <jbakita@cs.unc.edu>2020-10-22 00:24:34 -0400
committerJoshua Bakita <jbakita@cs.unc.edu>2020-10-22 00:25:05 -0400
commit4f634d4cd3254dfc68b65e63be32708105032101 (patch)
tree0ebd638a40ae68d788c883e9f38a857b1225463e /dis/Makefile
parent3b0aa125061b362b23ecf66afe8319e3a268c874 (diff)
Fix Makefiles so that a custom CFLAGS doesn't break the build
Diffstat (limited to 'dis/Makefile')
-rwxr-xr-xdis/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/dis/Makefile b/dis/Makefile
index df93116..88fa7c2 100755
--- a/dis/Makefile
+++ b/dis/Makefile
@@ -4,7 +4,7 @@
4# that a good Makefile should follow. Sorry - at least I have one.) 4# that a good Makefile should follow. Sorry - at least I have one.)
5LIBLITMUS ?= /media/speedy/litmus/liblitmus 5LIBLITMUS ?= /media/speedy/litmus/liblitmus
6CC ?= gcc 6CC ?= gcc
7CFLAGS += -pthread -O2 -I.. 7override CFLAGS += -pthread -O2 -I..
8LDFLAGS = -lrt -lm 8LDFLAGS = -lrt -lm
9COMMON = ../extra.h 9COMMON = ../extra.h
10 10