diff options
-rwxr-xr-x | sysdeps/mach/hurd/configure | 17 |
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 |