summaryrefslogtreecommitdiff
path: root/mach
diff options
context:
space:
mode:
Diffstat (limited to 'mach')
-rw-r--r--mach/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/mach/Makefile b/mach/Makefile
index f9a3815f39..3a7a8fe82a 100644
--- a/mach/Makefile
+++ b/mach/Makefile
@@ -24,7 +24,7 @@ all:
include ../Makeconfig
-headers = mach_init.h mach.h mach_error.h mach-shortcuts.h \
+headers = mach_init.h mach.h mach_error.h mach-shortcuts.h mach/mach_traps.h \
$(interface-headers) mach/mach.h mach/mig_support.h mach/error.h \
$(lock-headers) machine-sp.h
distribute = thread_state.h