diff options
| author | leochanj105 <leochanj@live.unc.edu> | 2020-10-23 03:27:09 -0400 |
|---|---|---|
| committer | leochanj105 <leochanj@live.unc.edu> | 2020-10-23 03:27:09 -0400 |
| commit | 55277ec939322aecb03e9509d4400273910b7d36 (patch) | |
| tree | b1537395fb4d44ce9024745b922db1b0e79f84fe /baseline | |
| parent | d09efc79b35b4d8e7018c7378bff5e85308d4943 (diff) | |
recent
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 1d90c7f..a929bc6 100644 --- a/baseline/Makefile +++ b/baseline/Makefile | |||
| @@ -1,4 +1,4 @@ | |||
| 1 | LIBLITMUS ?= /home/litmus/liblitmus | 1 | LIBLITMUS ?= /playpen/mc2/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 |