changeset 73566 | 4e6b31ed7197 |
parent 73340 | 0ffcad1f6130 |
child 73650 | 9ce115baaa4f |
--- a/src/Pure/Admin/build_spass.scala Mon Apr 12 18:10:13 2021 +0200 +++ b/src/Pure/Admin/build_spass.scala Mon Apr 12 18:29:34 2021 +0200 @@ -66,7 +66,7 @@ /* download source */ val archive_path = tmp_dir + Path.basic(archive_name) - Isabelle_System.download(download_url, archive_path, progress = progress) + Isabelle_System.download_file(download_url, archive_path, progress = progress) Isabelle_System.bash("tar xzf " + archive_path, cwd = tmp_dir.file).check Isabelle_System.bash(