build: more (maybe)

aya-prover · May 29, 2024 · dea6aee · dea6aee
1 parent 5acce20
commit dea6aee
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 5 deletions.
diff --git a/bors.toml b/bors.toml
diff --git a/src/find.ts b/src/find.ts
@@ -12,8 +12,9 @@ export async function findAya(): Promise<string | null> {
   }
 
   let lspLoadPath = config.get<string>("lsp.path");
-  if (lspLoadPath && fs.existsSync(lspLoadPath)) {
-    return lspLoadPath;
+  if (lspLoadPath) {
+    if (fs.existsSync(lspLoadPath)) return lspLoadPath;
+    else await vscode.window.showWarningMessage(`The configured lsp path does not exist: ${lspLoadPath}`);
   }
 
   const sysPath = process.env['PATH'];