diff options
| author | Roland McGrath <roland@gnu.org> | 1993-10-18 12:27:21 +0000 |
|---|---|---|
| committer | Roland McGrath <roland@gnu.org> | 1993-10-18 12:27:21 +0000 |
| commit | fadfc67e3a37236351011856c93e036e043246c4 (patch) | |
| tree | c156187f303cbf8eadb74ec2b003e2abf451f90f /mach/Makefile | |
| parent | 1b1ade7f4262af46502cc36f8977c96f696f2caa (diff) | |
Formerly ../mach/Makefile.~51~
Diffstat (limited to 'mach/Makefile')
| -rw-r--r-- | mach/Makefile | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/mach/Makefile b/mach/Makefile index 7a5d7f020d..49c088505f 100644 --- a/mach/Makefile +++ b/mach/Makefile @@ -46,12 +46,11 @@ tests := hello distribute = Machrules syscalls.awk shortcut.awk -# XXX currently these files are symlinked into mach/ (which should not otherwise exist) -ifndef no_deps # XXX for dist +# XXX currently these files have been copied into mach/ (which should not +# otherwise exist). Eventually should snarf them from sysutils/bootstrap. headers += $(addprefix mach/default_pager_types.,h defs) user-interfaces += mach/default_pager server-interfaces += mach/default_pager_helper -endif # Get the proper definition of `mach-srcdir'. include ../sysdeps/mach/Makefile |