# 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 = {