Fix bug: (directory-file-name "///") returned "//"
commitaedc566a94116191d3a8b3f7f9955058316f9fdc
authorPaul Eggert <eggert@cs.ucla.edu>
Fri, 8 Sep 2017 00:46:12 +0000 (7 17:46 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Fri, 8 Sep 2017 00:47:24 +0000 (7 17:47 -0700)
tree02c7082bfcfa23ce2b89393a382ba7112e47ba52
parent53830c6336b52d58c315c7e11405181e01ee9a53
Fix bug: (directory-file-name "///") returned "//"

* src/fileio.c (directory_file_name): For "///" and longer,
return "/", not "//", as per POSIX.
* test/src/fileio-tests.el (fileio-tests--directory-file-name)
(fileio-tests--file-name-as-directory): New tests.
src/fileio.c
test/src/fileio-tests.el