1995-02-18 02:27:10 +01:00
|
|
|
|
|
|
|
# If configure is passed `--with-mach=DIR', set `mach-srcdir' to DIR in
|
|
|
|
# config.make.
|
|
|
|
|
|
|
|
ac_help="$ac_help
|
|
|
|
--with-mach=DIRECTORY find Mach kernel source code in DIRECTORY [../mach]"
|
|
|
|
# Check whether --with-mach or --without-mach was given.
|
1996-05-10 01:13:21 +02:00
|
|
|
if test "${with_mach+set}" = set; then
|
|
|
|
withval="$with_mach"
|
1995-02-18 02:27:10 +01:00
|
|
|
case z"$with_mach" in
|
|
|
|
z | zno | zyes) ;; # Not specified, or specified with no value.
|
|
|
|
z*) config_vars="$config_vars
|
|
|
|
mach-srcdir = $with_mach" ;;
|
|
|
|
esac
|
|
|
|
|
|
|
|
fi
|
|
|
|
|