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.
more explicit errors;
authorwenzelm
Wed, 10 Sep 2025 22:21:52 +0200
changeset 83130 8f08c9ef0b45
parent 83129 91d915f7cd40
child 83131 0ee538b30078
more explicit errors;
src/Pure/System/isabelle_system.scala file | annotate | diff | comparison | revisions
src/Tools/VSCode/src/component_vscodium.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/isabelle_system.scala	Wed Sep 10 22:19:34 2025 +0200
+++ b/src/Pure/System/isabelle_system.scala	Wed Sep 10 22:21:52 2025 +0200
@@ -523,6 +523,7 @@
     strip: Int = 1,
     progress: Progress = new Progress
   ): Unit = {
+    Isabelle_System.require_command("patch")
     with_tmp_file("patch", ext = "rej") { rej =>
       val result =
         Isabelle_System.bash("patch -f -p" + strip + " -r " + File.bash_path(rej),
--- a/src/Tools/VSCode/src/component_vscodium.scala	Wed Sep 10 22:19:34 2025 +0200
+++ b/src/Tools/VSCode/src/component_vscodium.scala	Wed Sep 10 22:21:52 2025 +0200
@@ -350,6 +350,7 @@
 
     platform_context.mingw.check()
 
+    Isabelle_System.require_command("patch")
     if (!platform.is_windows) {
       Isabelle_System.require_command("git")
       Isabelle_System.require_command("jq")
isabelle