about summary refs log tree commit diff
diff options
context:
space:
mode:
-rwxr-xr-xsysdeps/mach/hurd/configure17
1 files changed, 0 insertions, 17 deletions
diff --git a/sysdeps/mach/hurd/configure b/sysdeps/mach/hurd/configure
index b756758f15..ab0a8021d0 100755
--- a/sysdeps/mach/hurd/configure
+++ b/sysdeps/mach/hurd/configure
@@ -1,21 +1,4 @@
  
-# If configure is passed `--with-hurd=DIR', set `hurd-srcdir' to DIR in
-# config.make.
-
-ac_help="$ac_help
-  --with-hurd=DIRECTORY   find Hurd source code in DIRECTORY [../hurd]"
-# Check whether --with-hurd or --without-hurd was given.
-if test "${with_hurd+set}" = set; then
-  withval="$with_hurd"
-  case z"$with_hurd" in
-z | zno | zyes) ;; # Not specified, or specified with no value.
-z*) config_vars="$config_vars
-hurd-srcdir = $with_hurd" ;;
-esac
-
-fi
-
-
 # Don't bother trying to generate any glue code to be compatible with the
 # existing system library, because we are the only system library.
 inhibit_glue=yes