diff options
| author | Thomas Bushnell <thomas@gnu.org> | 1996-08-13 18:10:31 +0000 |
|---|---|---|
| committer | Thomas Bushnell <thomas@gnu.org> | 1996-08-13 18:10:31 +0000 |
| commit | eb99cedbb19533357806b68033761b7f3aff625b (patch) | |
| tree | bce57c4fc460fa3e7d2c63265e1f80d8894b24ac /Makeconf | |
| parent | 82314cc27190d6a77c6f11de32b00820ed997850 (diff) | |
*** empty log message ***
Diffstat (limited to 'Makeconf')
| -rw-r--r-- | Makeconf | 18 |
1 files changed, 16 insertions, 2 deletions
@@ -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: |