Blame gnulib/m4/double-slash-root.m4

Packit Service 51e54d
# double-slash-root.m4 serial 4   -*- Autoconf -*-
Packit Service 51e54d
dnl Copyright (C) 2006, 2008-2014 Free Software Foundation, Inc.
Packit Service 51e54d
dnl This file is free software; the Free Software Foundation
Packit Service 51e54d
dnl gives unlimited permission to copy and/or distribute it,
Packit Service 51e54d
dnl with or without modifications, as long as this notice is preserved.
Packit Service 51e54d
Packit Service 51e54d
AC_DEFUN([gl_DOUBLE_SLASH_ROOT],
Packit Service 51e54d
[
Packit Service 51e54d
  AC_REQUIRE([AC_CANONICAL_HOST])
Packit Service 51e54d
  AC_CACHE_CHECK([whether // is distinct from /], [gl_cv_double_slash_root],
Packit Service 51e54d
    [ if test x"$cross_compiling" = xyes ; then
Packit Service 51e54d
        # When cross-compiling, there is no way to tell whether // is special
Packit Service 51e54d
        # short of a list of hosts.  However, the only known hosts to date
Packit Service 51e54d
        # that have a distinct // are Apollo DomainOS (too old to port to),
Packit Service 51e54d
        # Cygwin, and z/OS.  If anyone knows of another system for which // has
Packit Service 51e54d
        # special semantics and is distinct from /, please report it to
Packit Service 51e54d
        # <bug-gnulib@gnu.org>.
Packit Service 51e54d
        case $host in
Packit Service 51e54d
          *-cygwin | i370-ibm-openedition)
Packit Service 51e54d
            gl_cv_double_slash_root=yes ;;
Packit Service 51e54d
          *)
Packit Service 51e54d
            # Be optimistic and assume that / and // are the same when we
Packit Service 51e54d
            # don't know.
Packit Service 51e54d
            gl_cv_double_slash_root='unknown, assuming no' ;;
Packit Service 51e54d
        esac
Packit Service 51e54d
      else
Packit Service 51e54d
        set x `ls -di / // 2>/dev/null`
Packit Service 51e54d
        if test "$[2]" = "$[4]" && wc //dev/null >/dev/null 2>&1; then
Packit Service 51e54d
          gl_cv_double_slash_root=no
Packit Service 51e54d
        else
Packit Service 51e54d
          gl_cv_double_slash_root=yes
Packit Service 51e54d
        fi
Packit Service 51e54d
      fi])
Packit Service 51e54d
  if test "$gl_cv_double_slash_root" = yes; then
Packit Service 51e54d
    AC_DEFINE([DOUBLE_SLASH_IS_DISTINCT_ROOT], [1],
Packit Service 51e54d
      [Define to 1 if // is a file system root distinct from /.])
Packit Service 51e54d
  fi
Packit Service 51e54d
])