Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/component_zipperposition.scala
changeset 80224 db92e0b6a11a
parent 80049 b525f783b784 
--- a/src/Pure/Admin/component_zipperposition.scala	Fri May 31 22:35:44 2024 +0200
+++ b/src/Pure/Admin/component_zipperposition.scala	Sat Jun 01 12:31:06 2024 +0200
@@ -42,7 +42,7 @@
       progress.bash("isabelle ocaml_setup", echo = progress.verbose).check
 
       progress.echo("Building Zipperposition for " + platform_name + " ...")
-      progress.bash(cwd = build_dir.file, echo = progress.verbose,
+      progress.bash(cwd = build_dir, echo = progress.verbose,
         script = "isabelle_opam install -y --destdir=" + File.bash_path(build_dir) +
           " zipperposition=" + Bash.string(version)).check
isabelle