Re: autoconf bug?

[Paul Eggert]

address@hidden writes:

>> dirname(//1) = . instead of //
>> dirname(//1/) = . instead of //

Your files match mine, except that the output of the "dirname" command
seems to differ for those two cases.

What is the output of the following Bourne shell commands?

   type dirname expr sed
   ls -l /usr/bin/dirname /usr/bin/expr /usr/bin/sed
   dirname //1; echo $?
   expr a : '\(a\)'; echo $?
   /bin/sh -x /usr/bin/dirname //1; echo $?

   as_expr=expr
   dir=`(dirname //1) 2>/dev/null ||
   $as_expr X//1 : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \
            X//1 : 'X\(//\)[^/]' \| \
            X//1 : 'X\(//\)$' \| \
            X//1 : 'X\(/\)' \| \
            .     : '\(.\)' 2>/dev/null ||
   echo X//1 |
       sed '/^X\(.*[^/]\)\/\/*[^/][^/]*\/*$/{ s//\1/; q; }
             /^X\(\/\/\)[^/].*/{ s//\1/; q; }
             /^X\(\/\/\)$/{ s//\1/; q; }
             /^X\(\/\).*/{ s//\1/; q; }
             s/.*/./; q'`
   echo "$? $dir"

Here's what I get on my Solaris 8 host:

$ type dirname expr sed
dirname is /usr/bin/dirname
expr is /usr/bin/expr
sed is /usr/bin/sed
$ ls -l /usr/bin/dirname /usr/bin/expr /usr/bin/sed
-r-xr-xr-x   1 root     bin          784 Jan  5  2000 /usr/bin/dirname
-r-xr-xr-x   1 root     bin        11660 Jan  5  2000 /usr/bin/expr
-r-xr-xr-x   1 root     bin        28756 Sep  5  2002 /usr/bin/sed
$ dirname //1; echo $?
/
0
$ expr a : '\(a\)'; echo $?
a
0
$ /bin/sh -x /usr/bin/dirname //1; echo $?
+ [ 1 -gt 1 ] 
+ exec /usr/bin/expr //1/ : \(/\)/*[^/]*//*$ | //1/ : 
\(.*[^/]\)//*[^/][^/]*//*$ | . 
/
0
$ as_expr=expr
$ dir=`(dirname //1) 2>/dev/null ||
> $as_expr X//1 : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \
>            X//1 : 'X\(//\)[^/]' \| \
>            X//1 : 'X\(//\)$' \| \
>            X//1 : 'X\(/\)' \| \
>            .     : '\(.\)' 2>/dev/null ||
>   echo X//1 |
>       sed '/^X\(.*[^/]\)\/\/*[^/][^/]*\/*$/{ s//\1/; q; }
>             /^X\(\/\/\)[^/].*/{ s//\1/; q; }
>             /^X\(\/\/\)$/{ s//\1/; q; }
>             /^X\(\/\).*/{ s//\1/; q; }
>             s/.*/./; q'`
$ echo "$? $dir"
0 /
$