diff options
Diffstat (limited to 'sysdeps/mach/configure')
-rw-r--r-- | sysdeps/mach/configure | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/sysdeps/mach/configure b/sysdeps/mach/configure deleted file mode 100644 index dafdac5abb..0000000000 --- a/sysdeps/mach/configure +++ /dev/null @@ -1,17 +0,0 @@ - -# 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. -if test "${with_mach+set}" = set; then - withval="$with_mach" - 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 - |