On Tue, 2015 Sep 22 14:08-0600, Eric Blake wrote: > 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).
Yes, my intent was to show why the DOUBLE_SLASH_IS_DISTINCT_ROOT test was giving the result that it had. There's certainly much about this platform that is... odd. --Daniel -- Daniel Richard G. || sk...@iskunk.org My ASCII-art .sig got a bad case of Times New Roman.
