diff options
Diffstat (limited to 'mach/Makefile')
| -rw-r--r-- | mach/Makefile | 2 |
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 |