diff options
Diffstat (limited to 'Makefrag.am')
| -rw-r--r-- | Makefrag.am | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/Makefrag.am b/Makefrag.am index e9d4e63e..c3f8d035 100644 --- a/Makefrag.am +++ b/Makefrag.am @@ -44,10 +44,12 @@ x15_SOURCES += \ kern/llsync_i.h \ kern/log2.h \ kern/macros.h \ - kern/mutex.c \ kern/mutex.h \ - kern/mutex_i.h \ kern/mutex_types.h \ + kern/mutex/mutex_pi_i.h \ + kern/mutex/mutex_pi_types.h \ + kern/mutex/mutex_plain_i.h \ + kern/mutex/mutex_plain_types.h \ kern/panic.c \ kern/panic.h \ kern/param.h \ @@ -103,6 +105,10 @@ x15_SOURCES += \ kern/xcall.c \ kern/xcall.h +if !MUTEX_PI + x15_SOURCES += kern/mutex/mutex_plain.c +endif + x15_SOURCES += \ vm/vm_adv.h \ vm/vm_inherit.h \ |