diff options
| author | Miles Bader <miles@gnu.org> | 1996-06-05 19:51:36 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-06-05 19:51:36 +0000 |
| commit | b13aa0b8664d38b7275d00260fad273b9638a244 (patch) | |
| tree | f710222097a5fde9d2ac7d23b1e807031ecc3e7c /mach | |
| parent | df7c0d2312a2133aece4a390ce05c756c5e452a5 (diff) | |
*** empty log message ***
Wed Jun 5 15:42:51 1996 Miles Bader <miles@gnu.ai.mit.edu>
* mach/Machrules (%_server.uh, %_server.__h): New rules, so that the
corrsponding .defs file with without the `_server' will be used.
* mach/Makefile (mach/mach_interface.defs): Renamed from mach_interface.defs.
(mach/memory_object_user.defs): New variable.
Diffstat (limited to 'mach')
0 files changed, 0 insertions, 0 deletions