diff options
Diffstat (limited to 'Makefrag.am')
| -rw-r--r-- | Makefrag.am | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Makefrag.am b/Makefrag.am index c3f8d035..2ed9f771 100644 --- a/Makefrag.am +++ b/Makefrag.am @@ -46,6 +46,8 @@ x15_SOURCES += \ kern/macros.h \ kern/mutex.h \ kern/mutex_types.h \ + kern/mutex/mutex_adaptive_i.h \ + kern/mutex/mutex_adaptive_types.h \ kern/mutex/mutex_pi_i.h \ kern/mutex/mutex_pi_types.h \ kern/mutex/mutex_plain_i.h \ @@ -105,9 +107,13 @@ x15_SOURCES += \ kern/xcall.c \ kern/xcall.h +if MUTEX_ADAPTIVE + x15_SOURCES += kern/mutex/mutex_adaptive.c +else if !MUTEX_PI x15_SOURCES += kern/mutex/mutex_plain.c endif +endif x15_SOURCES += \ vm/vm_adv.h \ |