diff options
| -rw-r--r-- | all_pairs/Makefile | 2 | ||||
| -rw-r--r-- | baseline/Makefile | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/all_pairs/Makefile b/all_pairs/Makefile index 5eef323..592db70 100644 --- a/all_pairs/Makefile +++ b/all_pairs/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.. -DPAIRED | 3 | override CFLAGS += -pthread -O2 -I.. -DPAIRED |
| 4 | LDFLAGS += -lrt | 4 | LDFLAGS += -lrt |
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 |