diff options
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 40b57f4..d6ab976 100644 --- a/baseline/Makefile +++ b/baseline/Makefile | |||
| @@ -1,6 +1,6 @@ | |||
| 1 | LIBLITMUS ?= /media/speedy/litmus/liblitmus | 1 | LIBLITMUS ?= /media/speedy/litmus/liblitmus |
| 2 | CC ?= gcc | 2 | CC ?= gcc |
| 3 | CFLAGS = -pthread -O2 -I.. | 3 | override CFLAGS = -pthread -O2 -I.. |
| 4 | LDFLAGS = -lrt | 4 | LDFLAGS = -lrt |
| 5 | COMMON = ../extra.h | 5 | COMMON = ../extra.h |
| 6 | 6 | ||