Formerly ../mach/Makefile.~76~
authorroland <roland>
Thu, 5 May 1994 08:42:03 +0000 (08:42 +0000)
committerroland <roland>
Thu, 5 May 1994 08:42:03 +0000 (08:42 +0000)
mach/Makefile

index 72fe540..b371ef8 100644 (file)
@@ -60,7 +60,7 @@ 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) \
-          mach/default_pager.defs
+          mach/default_pager.defs mach/default_pager_helper.defs
 user-interfaces += mach/default_pager
 server-interfaces += mach/default_pager_helper