summaryrefslogtreecommitdiff
path: root/Makeconf
diff options
context:
space:
mode:
authorThomas Bushnell <thomas@gnu.org>1996-08-13 18:10:31 +0000
committerThomas Bushnell <thomas@gnu.org>1996-08-13 18:10:31 +0000
commiteb99cedbb19533357806b68033761b7f3aff625b (patch)
treebce57c4fc460fa3e7d2c63265e1f80d8894b24ac /Makeconf
parent82314cc27190d6a77c6f11de32b00820ed997850 (diff)
*** empty log message ***
Diffstat (limited to 'Makeconf')
-rw-r--r--Makeconf18
1 files changed, 16 insertions, 2 deletions
diff --git a/Makeconf b/Makeconf
index d026464b..fcd60708 100644
--- a/Makeconf
+++ b/Makeconf
@@ -330,9 +330,23 @@ vpath libutil.% $(libdir)/
| $(MIGCOM) $(MIGCOMUFLAGS) $($*-MIGCOMUFLAGS) \
-user $*User.c -server /dev/null -header $*_U.h
-
# Where to find .defs files.
-vpath %.defs $(top_srcdir)/hurd $(install_includedir)/mach $(install_includedir)/device
+vpath %.defs $(top_srcdir)/hurd
+
+# These we want to find in the libc include directory...
+mach_defs_names = bootstrap default_pager default_pager_helper exc mach mach4 \
+ mach_host mach_norma mach_port mach_timer_reply memory_object \
+ memory_object_default norma_task notify
+device_defs_names = dev_forward device device_reply device_request
+
+mach_defs = $(addsuffix .defs,$(mach_defs_names))
+device_defs = $(addsuffix .defs,$(device_defs_names))
+
+$(mach_defs): %.defs:
+ echo '#include <mach/$@>' > $@
+$(device_defs): %.defs:
+ echo '#include <device/$@>' > $@
+
FORCE: