diff options
author | Roland McGrath <roland@gnu.org> | 1993-07-23 05:54:00 +0000 |
---|---|---|
committer | Roland McGrath <roland@gnu.org> | 1993-07-23 05:54:00 +0000 |
commit | 735f7eb1e06a55fa841b57f7c5cf4fc11d97d0ed (patch) | |
tree | 47ac0546df0bfe5e3b68eb57e52f65dd2076787c /mach/Makefile | |
parent | 06e9380e8f868a237382220594fc07fd9b8a4e11 (diff) |
Formerly ../mach/Makefile.~39~
Diffstat (limited to 'mach/Makefile')
-rw-r--r-- | mach/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/mach/Makefile b/mach/Makefile index 3079a4ea56..5730b72a2c 100644 --- a/mach/Makefile +++ b/mach/Makefile @@ -26,7 +26,11 @@ generated = mach-shortcuts.h # Install the Mach header files directly out of the Mach kernel source. -mach-srcdir = /usr1/gnu/mach # XXX +# 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 # When compiling, use the Mach header files directly from the kernel sources. includes += -I$(mach-srcdir) |