src/Pure/Tools/scala_build.scala
changeset 75678 58b161746645
parent 75661 2d153e052aea
child 75687 c8dc5d1adc7b
equal deleted inserted replaced
75677:347f9fde03dd 75678:58b161746645
   103             build_result(Path.explode(dir.text),
   103             build_result(Path.explode(dir.text),
   104               component = Value.Boolean.parse(component.text))
   104               component = Value.Boolean.parse(component.text))
   105           val jar_name =
   105           val jar_name =
   106             result.jar_path match {
   106             result.jar_path match {
   107               case Some(path) => path.file_name
   107               case Some(path) => path.file_name
   108               case None => "result.jar"
   108               case None => "scala_build.jar"
   109             }
   109             }
   110           List(Bytes("scala_build/" + jar_name), result.jar_bytes, Bytes(result.output))
   110           List(Bytes("classpath/" + jar_name), result.jar_bytes, Bytes(result.output))
   111         case _ => error("Bad arguments")
   111         case _ => error("Bad arguments")
   112       }
   112       }
   113   }
   113   }
   114 
   114 
   115   def component_contexts(): List[Context] =
   115   def component_contexts(): List[Context] =