diff options
| author | Roland McGrath <roland@gnu.org> | 1995-02-18 01:27:10 +0000 |
|---|---|---|
| committer | Roland McGrath <roland@gnu.org> | 1995-02-18 01:27:10 +0000 |
| commit | 28f540f45bbacd939bfd07f213bcad2bf730b1bf (patch) | |
| tree | 15f07c4c43d635959c6afee96bde71fb1b3614ee /sysdeps/mach/configure | |
initial import
Diffstat (limited to 'sysdeps/mach/configure')
| -rw-r--r-- | sysdeps/mach/configure | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/sysdeps/mach/configure b/sysdeps/mach/configure new file mode 100644 index 0000000000..fb1d8b0979 --- /dev/null +++ b/sysdeps/mach/configure @@ -0,0 +1,17 @@ + +# 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. +withval="$with_mach" +if test -n "$withval"; then + 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 + |