[iOS] Fix for plugin modified time check

(cherry picked from commit 15630a4931)
This commit is contained in:
Sergey Minakov 2021-04-13 11:56:27 +03:00 committed by Rémi Verschelde
parent 4a942afb9b
commit cdd921e908
No known key found for this signature in database
GPG Key ID: C3336907360768E1

View File

@ -237,8 +237,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));