diff options
Diffstat (limited to 'dis')
| -rwxr-xr-x | dis/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dis/Makefile b/dis/Makefile index d18761b..77e0b8a 100755 --- a/dis/Makefile +++ b/dis/Makefile | |||
| @@ -2,7 +2,7 @@ | |||
| 2 | # Build the DIS benchmarks with all-pairs or unpaired instrumentation | 2 | # Build the DIS benchmarks with all-pairs or unpaired instrumentation |
| 3 | # (I know that this Makefile is mildly evil and breaks so many rules | 3 | # (I know that this Makefile is mildly evil and breaks so many rules |
| 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.) |
| 5 | LIBLITMUS ?= /playpen/mc2/liblitmus | 5 | LIBLITMUS ?= /home/litmus/liblitmus |
| 6 | CC ?= gcc | 6 | CC ?= gcc |
| 7 | override CFLAGS += -pthread -O2 -I.. | 7 | override CFLAGS += -pthread -O2 -I.. |
| 8 | LDFLAGS = -lrt -lm | 8 | LDFLAGS = -lrt -lm |