src/Tools/VSCode/src/build_vscode_extension.scala
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 =
   {