src/Pure/Admin/build_release.scala
changeset 70207 511352b4d5d3
parent 70206 c7fa2b7d2c8a
child 70242 7ddb59e72107
equal deleted inserted replaced
70206:c7fa2b7d2c8a 70207:511352b4d5d3
    37         progress = progress)
    37         progress = progress)
    38 
    38 
    39     def bundle_info(platform: Platform.Family.Value): Bundle_Info =
    39     def bundle_info(platform: Platform.Family.Value): Bundle_Info =
    40       platform match {
    40       platform match {
    41         case Platform.Family.linux => Bundle_Info(platform, "Linux", dist_name + "_linux.tar.xz")
    41         case Platform.Family.linux => Bundle_Info(platform, "Linux", dist_name + "_linux.tar.xz")
    42         case Platform.Family.macos => Bundle_Info(platform, "Mac OS X", dist_name + "_macos.tar.xz")
    42         case Platform.Family.macos => Bundle_Info(platform, "macOS", dist_name + "_macos.tar.xz")
    43         case Platform.Family.windows => Bundle_Info(platform, "Windows", dist_name + ".exe")
    43         case Platform.Family.windows => Bundle_Info(platform, "Windows", dist_name + ".exe")
    44       }
    44       }
    45   }
    45   }
    46 
    46 
    47 
    47