fileinfo: rename os_file_info_id_equal

This commit is contained in:
Stefan Hoffmann
2014-08-27 19:53:31 +02:00
parent 5d074a0aa6
commit edcc1a9732
5 changed files with 13 additions and 13 deletions

View File

@@ -1351,7 +1351,7 @@ void simplify_filename(char_u *filename)
*p = saved_char;
}
if (!os_file_info_id_equal(&file_info, &new_file_info)) {
if (!os_fileinfo_id_equal(&file_info, &new_file_info)) {
do_strip = FALSE;
/* We don't disable stripping of later
* components since the unstripped path name is