diff options
Diffstat (limited to 'baseline/source')
| -rw-r--r-- | baseline/source/extra.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/baseline/source/extra.h b/baseline/source/extra.h index 81ec146..5e527c6 100644 --- a/baseline/source/extra.h +++ b/baseline/source/extra.h | |||
| @@ -21,9 +21,9 @@ | |||
| 21 | #include <sys/syscall.h> | 21 | #include <sys/syscall.h> |
| 22 | #endif | 22 | #endif |
| 23 | 23 | ||
| 24 | #define LITMUS 1 | 24 | #define LITMUS 0 |
| 25 | #define MC2 1 | 25 | #define MC2 0 |
| 26 | #define MMDC_PROF 1 | 26 | #define MMDC_PROF 0 |
| 27 | 27 | ||
| 28 | #if LITMUS | 28 | #if LITMUS |
| 29 | #include <litmus.h> | 29 | #include <litmus.h> |