diff options
| author | Sergey Minakov <naithar@icloud.com> | 2021-04-13 11:56:27 +0300 |
|---|---|---|
| committer | Sergey Minakov <naithar@icloud.com> | 2021-04-13 11:57:42 +0300 |
| commit | 15630a4931ff4c80f59c7631d7983311152ddfbe (patch) | |
| tree | 6e8acd277b69903971b379bee4ffde04d9133374 | |
| parent | b4060614c23cb1c39d89c58ec17bcf779611a2cb (diff) | |
[iOS] Fix for plugin modified time check
| -rw-r--r-- | platform/iphone/plugin/godot_plugin_config.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/platform/iphone/plugin/godot_plugin_config.h b/platform/iphone/plugin/godot_plugin_config.h index f4e30c8349..e2546e733c 100644 --- a/platform/iphone/plugin/godot_plugin_config.h +++ b/platform/iphone/plugin/godot_plugin_config.h @@ -218,8 +218,9 @@ static inline uint64_t get_plugin_modification_time(const PluginConfigIOS &plugi } else { String file_path = plugin_config.binary.get_base_dir(); String file_name = plugin_config.binary.get_basename().get_file(); - String release_file_name = file_path.plus_file(file_name + ".release.a"); - String debug_file_name = file_path.plus_file(file_name + ".debug.a"); + String plugin_extension = plugin_config.binary.get_extension(); + String release_file_name = file_path.plus_file(file_name + ".release." + plugin_extension); + String debug_file_name = file_path.plus_file(file_name + ".debug." + plugin_extension); last_updated = MAX(last_updated, FileAccess::get_modified_time(release_file_name)); last_updated = MAX(last_updated, FileAccess::get_modified_time(debug_file_name)); |