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 robust;
authorwenzelm
Wed, 24 Apr 2024 20:05:25 +0200
changeset 80154 273a8fa8a44e
parent 80153 8e3730b527e9
child 80155 acfe36d6cb05
more robust;
src/Pure/Admin/component_e.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/component_e.scala	Wed Apr 24 19:48:45 2024 +0200
+++ b/src/Pure/Admin/component_e.scala	Wed Apr 24 20:05:25 2024 +0200
@@ -19,6 +19,8 @@
     progress: Progress = new Progress,
     target_dir: Path = Path.current
   ): Unit = {
+    Isabelle_System.require_command("patch")
+
     Isabelle_System.with_tmp_dir("build") { tmp_dir =>
       /* component */
isabelle