fix(runtime): respect 'fileignorecase' when sourcing (#24344)

This commit is contained in:
zeertzjq
2023-07-14 07:57:13 +08:00
committed by GitHub
parent dbb840da01
commit 9176b5e10a
5 changed files with 40 additions and 23 deletions

View File

@@ -1810,7 +1810,7 @@ bool path_with_extension(const char *path, const char *extension)
if (!last_dot) {
return false;
}
return strcmp(last_dot + 1, extension) == 0;
return mb_strcmp_ic((bool)p_fic, last_dot + 1, extension) == 0;
}
/// Return true if "name" is a full (absolute) path name or URL.