diff options
author | Roland McGrath <roland@gnu.org> | 1993-10-15 22:02:34 +0000 |
---|---|---|
committer | Roland McGrath <roland@gnu.org> | 1993-10-15 22:02:34 +0000 |
commit | 6129f42737f8d0ceff2250a8d779f6a3c8afef28 (patch) | |
tree | 59a6a4bfec6c2e336a8a7f1f5b5609eaabcdff00 /mach/Makefile | |
parent | 0f3943021c0b66c4794932dfaa0915f4e70945a1 (diff) |
Formerly ../mach/Makefile.~50~
Diffstat (limited to 'mach/Makefile')
-rw-r--r-- | mach/Makefile | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/mach/Makefile b/mach/Makefile index 3e73e54de6..7a5d7f020d 100644 --- a/mach/Makefile +++ b/mach/Makefile @@ -53,14 +53,10 @@ user-interfaces += mach/default_pager server-interfaces += mach/default_pager_helper endif -# Use and install the Mach header files directly out of the Mach kernel source. - +# Get the proper definition of `mach-srcdir'. +include ../sysdeps/mach/Makefile -# If we were configured with `--with-mach=DIR', then config.make sets -# mach-srcdir to DIR. Otherwise guess we are in a big source tree. -ifndef mach-srcdir -mach-srcdir = ../../mach -endif +# Use and install the Mach header files directly out of the Mach kernel source. # Find the MiG defs files in the kernel source. vpath %.defs $(mach-srcdir) |