Formerly ../mach/Makefile.~57~
authorroland <roland>
Sun, 31 Oct 1993 20:42:43 +0000 (20:42 +0000)
committerroland <roland>
Sun, 31 Oct 1993 20:42:43 +0000 (20:42 +0000)
mach/Makefile

index 76aef62..2347e98 100644 (file)
@@ -47,8 +47,8 @@ tests := hello
 distribute = Machrules syscalls.awk shortcut.awk
 
 
-# XXX currently these files have been copied into mach/ (which should not
-# otherwise exist).  They will supposedly disappear in the future.
+# XXX currently these files have been copied into mach/.  They will
+# supposedly disappear in the future.
 headers += $(addprefix mach/default_pager_types.,h defs)
 user-interfaces += mach/default_pager
 server-interfaces += mach/default_pager_helper