Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper result check;
authorwenzelm
Tue, 15 Mar 2022 13:11:53 +0100
changeset 75281 fab9b0bd9715
parent 75280 b9dde91f9106
child 75282 249e900cc05f
proper result check;
src/Tools/VSCode/src/build_vscode_extension.scala file | annotate | diff | comparison | revisions 
--- 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 =
   {
isabelle