On 09/22/2015 02:00 PM, Paul Eggert wrote:
>> wc: file "//dev/null": EDC5047I An invalid file name was specified as
>> a function parameter
> 
> How about if we add //dev/null to the configure-time test as to whether
> / and // are the same?  If //dev/null doesn't work, then / and // are
> not the same.

Rather, it sounds like configure is already correct, and we are
correctly deducing that // is different; but that the difference is odd
on this platform in that it is not distinguishable via dev/ino (every
other platform with distinct // at least has the decency to give a
distinct dev/ino).

-- 
Eric Blake   eblake redhat com    +1-919-301-3266
Libvirt virtualization library http://libvirt.org