Formerly ../mach/Makefile.~50~
authorroland <roland>
Fri, 15 Oct 1993 22:02:34 +0000 (22:02 +0000)
committerroland <roland>
Fri, 15 Oct 1993 22:02:34 +0000 (22:02 +0000)
mach/Makefile

index 3e73e54..7a5d7f0 100644 (file)
@@ -53,14 +53,10 @@ user-interfaces += mach/default_pager
 server-interfaces += mach/default_pager_helper
 endif
 \f
-# 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)