changeset 75281 | fab9b0bd9715 |
parent 75259 | fd44e4559adb |
child 75289 | 9c72957e5c4a |
--- a/src/Tools/VSCode/src/build_vscode_extension.scala Mon Mar 14 21:57:17 2022 +0100 +++ b/src/Tools/VSCode/src/build_vscode_extension.scala Tue Mar 15 13:11:53 2022 +0100 @@ -35,7 +35,7 @@ def install_extension(vsix_path: Path, progress: Progress = new Progress): Unit = progress.bash("isabelle vscode --install-extension " + - File.bash_platform_path(vsix_path)) + File.bash_platform_path(vsix_path)).check def build_extension(progress: Progress = new Progress): Path = {