diff options
author | actboy168 <actboy168@gmail.com> | 2019-06-10 17:19:11 +0800 |
---|---|---|
committer | actboy168 <actboy168@gmail.com> | 2019-06-10 17:19:11 +0800 |
commit | a3b57dfc5120b6b391f3008da2303f732232ea74 (patch) | |
tree | f069858d08708261f10f719be4f03acccd549d5a /make | |
parent | 29e559e903477ca42f92d342b0a7380d4d718c28 (diff) | |
download | lua-language-server-a3b57dfc5120b6b391f3008da2303f732232ea74.zip |
修正错误
Diffstat (limited to 'make')
-rw-r--r-- | make/copy.lua | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/make/copy.lua b/make/copy.lua index 0d21d97f..733ac883 100644 --- a/make/copy.lua +++ b/make/copy.lua @@ -45,7 +45,8 @@ local sourceDir = fs.path(".") local extensionDirName = getExtensionDirName(packageDir) local extensionDir = fs.path(extensionPath) / extensionDirName if not fs.exists(extensionDir) then - error("`" .. extensionDir .. "` is not installed.") + io.stderr:write("ERROR: `" .. extensionDir:string() .. "` is not installed.\n") + return end if pcall(fs.remove_all, extensionDir / "server" / "bin-bak") then |