diff options
| author | Roland McGrath <roland@gnu.org> | 1994-05-05 08:42:03 +0000 |
|---|---|---|
| committer | Roland McGrath <roland@gnu.org> | 1994-05-05 08:42:03 +0000 |
| commit | d67ad8b2c98c2dd0d4eea97b1578ecfdd1ffabce (patch) | |
| tree | 138ed3ca66c0c9b3f89da6ae837aa37ac4d11e76 /mach/Makefile | |
| parent | ebc0b8c1a43e019dac26bed022807422ef4b30fc (diff) | |
Formerly ../mach/Makefile.~76~
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 72fe540714..b371ef803b 100644 --- a/mach/Makefile +++ b/mach/Makefile @@ -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 |