annotate m4/double-slash-root.m4 @ 272:d5392bb5da3c 2.5

Added generated files
author lost
date Sun, 16 Aug 2009 17:16:49 +0000
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
272
d5392bb5da3c Added generated files
lost
parents:
diff changeset
1 # double-slash-root.m4 serial 3 -*- Autoconf -*-
d5392bb5da3c Added generated files
lost
parents:
diff changeset
2 dnl Copyright (C) 2006, 2008 Free Software Foundation, Inc.
d5392bb5da3c Added generated files
lost
parents:
diff changeset
3 dnl This file is free software; the Free Software Foundation
d5392bb5da3c Added generated files
lost
parents:
diff changeset
4 dnl gives unlimited permission to copy and/or distribute it,
d5392bb5da3c Added generated files
lost
parents:
diff changeset
5 dnl with or without modifications, as long as this notice is preserved.
d5392bb5da3c Added generated files
lost
parents:
diff changeset
6
d5392bb5da3c Added generated files
lost
parents:
diff changeset
7 AC_DEFUN([gl_DOUBLE_SLASH_ROOT],
d5392bb5da3c Added generated files
lost
parents:
diff changeset
8 [
d5392bb5da3c Added generated files
lost
parents:
diff changeset
9 AC_REQUIRE([AC_CANONICAL_HOST])
d5392bb5da3c Added generated files
lost
parents:
diff changeset
10 AC_CACHE_CHECK([whether // is distinct from /], [gl_cv_double_slash_root],
d5392bb5da3c Added generated files
lost
parents:
diff changeset
11 [ if test x"$cross_compiling" = xyes ; then
d5392bb5da3c Added generated files
lost
parents:
diff changeset
12 # When cross-compiling, there is no way to tell whether // is special
d5392bb5da3c Added generated files
lost
parents:
diff changeset
13 # short of a list of hosts. However, the only known hosts to date
d5392bb5da3c Added generated files
lost
parents:
diff changeset
14 # that have a distinct // are Apollo DomainOS (too old to port to),
d5392bb5da3c Added generated files
lost
parents:
diff changeset
15 # Cygwin, and z/OS. If anyone knows of another system for which // has
d5392bb5da3c Added generated files
lost
parents:
diff changeset
16 # special semantics and is distinct from /, please report it to
d5392bb5da3c Added generated files
lost
parents:
diff changeset
17 # <bug-gnulib@gnu.org>.
d5392bb5da3c Added generated files
lost
parents:
diff changeset
18 case $host in
d5392bb5da3c Added generated files
lost
parents:
diff changeset
19 *-cygwin | i370-ibm-openedition)
d5392bb5da3c Added generated files
lost
parents:
diff changeset
20 gl_cv_double_slash_root=yes ;;
d5392bb5da3c Added generated files
lost
parents:
diff changeset
21 *)
d5392bb5da3c Added generated files
lost
parents:
diff changeset
22 # Be optimistic and assume that / and // are the same when we
d5392bb5da3c Added generated files
lost
parents:
diff changeset
23 # don't know.
d5392bb5da3c Added generated files
lost
parents:
diff changeset
24 gl_cv_double_slash_root='unknown, assuming no' ;;
d5392bb5da3c Added generated files
lost
parents:
diff changeset
25 esac
d5392bb5da3c Added generated files
lost
parents:
diff changeset
26 else
d5392bb5da3c Added generated files
lost
parents:
diff changeset
27 set x `ls -di / // 2>/dev/null`
d5392bb5da3c Added generated files
lost
parents:
diff changeset
28 if test "$[2]" = "$[4]" && wc //dev/null >/dev/null 2>&1; then
d5392bb5da3c Added generated files
lost
parents:
diff changeset
29 gl_cv_double_slash_root=no
d5392bb5da3c Added generated files
lost
parents:
diff changeset
30 else
d5392bb5da3c Added generated files
lost
parents:
diff changeset
31 gl_cv_double_slash_root=yes
d5392bb5da3c Added generated files
lost
parents:
diff changeset
32 fi
d5392bb5da3c Added generated files
lost
parents:
diff changeset
33 fi])
d5392bb5da3c Added generated files
lost
parents:
diff changeset
34 if test "$gl_cv_double_slash_root" = yes; then
d5392bb5da3c Added generated files
lost
parents:
diff changeset
35 AC_DEFINE([DOUBLE_SLASH_IS_DISTINCT_ROOT], 1,
d5392bb5da3c Added generated files
lost
parents:
diff changeset
36 [Define to 1 if // is a file system root distinct from /.])
d5392bb5da3c Added generated files
lost
parents:
diff changeset
37 fi
d5392bb5da3c Added generated files
lost
parents:
diff changeset
38 ])