fileid: rename os_get_file_id

This commit is contained in:
Stefan Hoffmann
2014-08-27 20:09:39 +02:00
parent 8a66f4f245
commit 4e43095ab2
6 changed files with 19 additions and 19 deletions

View File

@@ -2417,7 +2417,7 @@ do_source (
*/
save_current_SID = current_SID;
FileID file_id;
bool file_id_ok = os_get_file_id((char *)fname_exp, &file_id);
bool file_id_ok = os_fileid((char *)fname_exp, &file_id);
for (current_SID = script_items.ga_len; current_SID > 0; --current_SID) {
si = &SCRIPT_ITEM(current_SID);
// Compare dev/ino when possible, it catches symbolic links.