changeset 69430 | 684935cbc8e1 |
parent 69429 | dc5fbcb07c7b |
child 69434 | b93404a4c3dd |
--- a/src/Pure/Admin/components.scala Sat Dec 08 22:31:34 2018 +0100 +++ b/src/Pure/Admin/components.scala Sat Dec 08 22:56:45 2018 +0100 @@ -153,7 +153,7 @@ } progress.echo("Packaging " + archive_name + " ...") - Isabelle_System.gnutar("-czf " + Bash.string(archive_name) + " " + Bash.string(name), + Isabelle_System.gnutar("-czf " + File.bash_path(archive) + " " + Bash.string(name), dir = archive_dir).check archive