diff src/fileio.c @ 4483:6894dd27c9ec

(expand_and_dir_to_file): Use Fdirectory_file_name.
author Richard M. Stallman <rms@gnu.org>
date Sun, 08 Aug 1993 05:17:22 +0000
parents 73b91cd2c55e
children 1fc792473491
line wrap: on
line diff
--- a/src/fileio.c	Sun Aug 08 05:01:06 1993 +0000
+++ b/src/fileio.c	Sun Aug 08 05:17:22 1993 +0000
@@ -1526,8 +1526,8 @@
      stat behaves differently depending!  */
   if (XSTRING (abspath)->size > 1
       && XSTRING (abspath)->data[XSTRING (abspath)->size - 1] == '/')
-    abspath = Fsubstring (abspath, make_number (0),
-			  make_number (XSTRING (abspath)->size - 1));
+    /* We cannot take shortcuts; they might be wrong for magic file names.  */
+    abspath = Fdirectory_file_name (abspath);
 #endif
   return abspath;
 }