Formerly ../mach/Makefile.~69~
authorroland <roland>
Thu, 3 Mar 1994 21:58:08 +0000 (21:58 +0000)
committerroland <roland>
Thu, 3 Mar 1994 21:58:08 +0000 (21:58 +0000)
mach/Makefile

index 604338b..09a35e0 100644 (file)
@@ -55,7 +55,8 @@ distribute += Machrules syscalls.awk shortcut.awk \
 
 # XXX currently these files have been copied into mach/.  They will
 # supposedly disappear in the future.
-headers += $(addprefix mach/default_pager_types.,h defs)
+headers += $(addprefix mach/default_pager_types.,h defs) \
+          mach/default_pager.defs
 user-interfaces += mach/default_pager
 server-interfaces += mach/default_pager_helper