# HG changeset patch
# User wenzelm
# Date 1647346313 -3600
# Node ID fab9b0bd971554f674101cce4d7747fd9ff90ef2
# Parent  b9dde91f9106c3bc2374aced8faf3d8aef43d2a7
proper result check;

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