From c2bf8a5a237e1bbcd5b701e30dd9184a02956812 Mon Sep 17 00:00:00 2001 From: Miles Bader Date: Wed, 5 Jun 1996 19:52:56 +0000 Subject: (mach/mach_interface.defs): Renamed from mach_interface.defs. (mach/memory_object_user.defs): New variable. --- mach/Makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'mach/Makefile') diff --git a/mach/Makefile b/mach/Makefile index bf3816485d..e15e2f5c8e 100644 --- a/mach/Makefile +++ b/mach/Makefile @@ -47,7 +47,9 @@ user-interfaces := $(addprefix mach/,mach_interface mach_port mach_host \ $(addprefix device/,device device_request) # We produce mach_interface.h from mach.defs because there is already a # that is not the interface header (thanks CMU). -mach_interface.defs = mach.defs +mach/mach_interface.defs = mach/mach.defs +# Similarly for memory_object_user vs. memory_object +mach/memory_object_user.defs = mach/memory_object.defs server-interfaces := mach/exc tests := hello # It is important that we do not use the wildcard function to expand -- cgit v1.2.3