equal
deleted
inserted
replaced
397 case Pat2(Value.Int(x), Value.Int(y)) => (x, y) |
397 case Pat2(Value.Int(x), Value.Int(y)) => (x, y) |
398 case _ => error("Bad multicore configuration: " + quote(s)) |
398 case _ => error("Bad multicore configuration: " + quote(s)) |
399 } |
399 } |
400 } |
400 } |
401 |
401 |
402 def main(args: Array[String]) |
402 def main(args: Array[String]): Unit = |
403 { |
403 { |
404 Command_Line.tool { |
404 Command_Line.tool { |
405 var afp_rev: Option[String] = None |
405 var afp_rev: Option[String] = None |
406 var multicore_base = false |
406 var multicore_base = false |
407 var components_base: Path = Components.default_components_base |
407 var components_base: Path = Components.default_components_base |