diff options
| author | leochanj <jbakita@cs.unc.edu> | 2020-10-23 02:11:48 -0400 |
|---|---|---|
| committer | leochanj <jbakita@cs.unc.edu> | 2020-10-23 02:11:48 -0400 |
| commit | e0217a963c6c0e0667d41d075038685956bcfacf (patch) | |
| tree | faf3963cc501f103cd2554553ec74ce21157b42e /baseline | |
| parent | d427b910baffcc330b0b24d87c9b3216f306d0fb (diff) | |
wip
Diffstat (limited to 'baseline')
| -rw-r--r-- | baseline/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/baseline/Makefile b/baseline/Makefile index a929bc6..1d90c7f 100644 --- a/baseline/Makefile +++ b/baseline/Makefile | |||
| @@ -1,4 +1,4 @@ | |||
| 1 | LIBLITMUS ?= /playpen/mc2/liblitmus | 1 | LIBLITMUS ?= /home/litmus/liblitmus |
| 2 | CC ?= gcc | 2 | CC ?= gcc |
| 3 | override CFLAGS = -pthread -O2 -I.. | 3 | override CFLAGS = -pthread -O2 -I.. |
| 4 | LDFLAGS = -lrt | 4 | LDFLAGS = -lrt |
