changeset 73566 | 4e6b31ed7197 |
parent 73340 | 0ffcad1f6130 |
child 75393 | 87ebf5a50283 |
--- a/src/Pure/Admin/build_sqlite.scala Mon Apr 12 18:10:13 2021 +0200 +++ b/src/Pure/Admin/build_sqlite.scala Mon Apr 12 18:29:34 2021 +0200 @@ -53,7 +53,7 @@ /* jar */ val jar = component_dir + Path.basic(download_name).ext("jar") - Isabelle_System.download(download_url, jar, progress = progress) + Isabelle_System.download_file(download_url, jar, progress = progress) Isabelle_System.with_tmp_dir("sqlite")(jar_dir => {