diff options
Diffstat (limited to 'plugins')
| -rw-r--r-- | plugins/plugin_manager/init.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/plugin_manager/init.lua b/plugins/plugin_manager/init.lua index 3e69884..ae8343d 100644 --- a/plugins/plugin_manager/init.lua +++ b/plugins/plugin_manager/init.lua @@ -11,7 +11,7 @@ local PluginManager = { last_refresh = nil, requires_restart = false } -local binary_extension = (PLATFORM == "Windows" and ".exe" or "") +local binary_extension = (PLATFORM == "Windows" and ".exe" or (PLATFORM == "Android" and ".so" or "")) config.plugins.plugin_manager = common.merge({ lpm_binary_name = "lpm." .. ARCH .. binary_extension, lpm_binary_path = nil, |