Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper path;
authorwenzelm
Fri, 14 Oct 2016 19:49:38 +0200
changeset 64210 6299566d00bc
parent 64209 5d5701bed047
child 64211 1306a0e7fe81
proper path;
src/Pure/Admin/build_release.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_release.scala	Fri Oct 14 19:42:54 2016 +0200
+++ b/src/Pure/Admin/build_release.scala	Fri Oct 14 19:49:38 2016 +0200
@@ -75,9 +75,10 @@
 
     for ((platform_family, platform_bundle) <- platform_bundles) {
       val bundle_archive =
-        Path.explode(
-          (if (remote_mac.isEmpty) fallback_platform_bundles.toMap.get(platform_family) else None)
-            getOrElse platform_bundle)
+        release_info.dist_dir +
+          Path.explode(
+            (if (remote_mac.isEmpty) fallback_platform_bundles.toMap.get(platform_family) else None)
+              getOrElse platform_bundle)
       if (bundle_archive.is_file)
         progress.echo("### Application bundle already exists: " + bundle_archive.implode)
       else {
isabelle