You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-13 13:31:48 +00:00
GDExtension: Show warning on missing PDB file, rather than error
This commit is contained in:
@@ -155,7 +155,11 @@ Error WindowsUtils::copy_and_rename_pdb(const String &p_dll_path) {
|
|||||||
} else if (!FileAccess::exists(copy_pdb_path)) {
|
} else if (!FileAccess::exists(copy_pdb_path)) {
|
||||||
copy_pdb_path = dll_base_dir.path_join(copy_pdb_path.get_file());
|
copy_pdb_path = dll_base_dir.path_join(copy_pdb_path.get_file());
|
||||||
}
|
}
|
||||||
ERR_FAIL_COND_V_MSG(!FileAccess::exists(copy_pdb_path), FAILED, vformat("File '%s' does not exist.", copy_pdb_path));
|
if (!FileAccess::exists(copy_pdb_path)) {
|
||||||
|
// The PDB file may be distributed separately on purpose, so we don't consider this an error.
|
||||||
|
WARN_VERBOSE(vformat("PDB file '%s' for library '%s' was not found, skipping copy/rename.", copy_pdb_path, p_dll_path));
|
||||||
|
return ERR_SKIP;
|
||||||
|
}
|
||||||
|
|
||||||
String new_pdb_base_name = p_dll_path.get_file().get_basename() + "_";
|
String new_pdb_base_name = p_dll_path.get_file().get_basename() + "_";
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user