changeset 73340 | 0ffcad1f6130 |
parent 73317 | df49ca5da9d0 |
child 73650 | 9ce115baaa4f |
--- a/src/Pure/Admin/build_vampire.scala Mon Mar 01 20:12:09 2021 +0100 +++ b/src/Pure/Admin/build_vampire.scala Mon Mar 01 22:22:12 2021 +0100 @@ -27,7 +27,7 @@ component_name: String = "", verbose: Boolean = false, progress: Progress = new Progress, - target_dir: Path = Path.current) + target_dir: Path = Path.current): Unit = { Isabelle_System.require_command("git", "cmake")