diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2019-08-28 23:31:10 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2019-08-28 23:31:10 +0800 |
| commit | b55a6b05c01238de4555e0cd92ef8305254394be (patch) | |
| tree | 823e13bc1175da4117a5363cde1d567d10504d9f /make/copy.lua | |
| parent | 139eb14a3a85ec6d6177904c1f98bbc2ba804ac8 (diff) | |
| download | lua-language-server-b55a6b05c01238de4555e0cd92ef8305254394be.zip | |
发布到对应专区
Diffstat (limited to 'make/copy.lua')
| -rw-r--r-- | make/copy.lua | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/make/copy.lua b/make/copy.lua index 4c718117..df7c2de4 100644 --- a/make/copy.lua +++ b/make/copy.lua @@ -1,4 +1,5 @@ local fs = require 'bee.filesystem' +local pf = require 'bee.platform' local function getExtensionDirName(packageDir) local publisher,name,version @@ -49,7 +50,7 @@ if not fs.exists(extensionDir) then return end -local binDir = extensionDir / "server" / "bin" +local binDir = extensionDir / "server" / pf.OS / "bin" local bakDir = extensionDir / "server" / "bak" if fs.exists(binDir) then @@ -60,6 +61,6 @@ if fs.exists(binDir) then end end -copy_directory(sourceDir / "server" / "bin", binDir) +copy_directory(sourceDir / "server" / pf.OS / "bin", binDir) print 'ok' |