equal
deleted
inserted
replaced
221 "O" -> (_ => official_release = true), |
221 "O" -> (_ => official_release = true), |
222 "R:" -> (arg => release_name = arg), |
222 "R:" -> (arg => release_name = arg), |
223 "W:" -> (arg => website = Some(Path.explode(arg))), |
223 "W:" -> (arg => website = Some(Path.explode(arg))), |
224 "j:" -> (arg => parallel_jobs = Value.Int.parse(arg)), |
224 "j:" -> (arg => parallel_jobs = Value.Int.parse(arg)), |
225 "l" -> (_ => build_library = true), |
225 "l" -> (_ => build_library = true), |
226 "p:" -> (arg => platform_families = Library.space_explode(',', arg)), |
226 "p:" -> (arg => platform_families = space_explode(',', arg)), |
227 "r:" -> (arg => rev = arg)) |
227 "r:" -> (arg => rev = arg)) |
228 |
228 |
229 val more_args = getopts(args) |
229 val more_args = getopts(args) |
230 val base_dir = more_args match { case List(base_dir) => base_dir case _ => getopts.usage() } |
230 val base_dir = more_args match { case List(base_dir) => base_dir case _ => getopts.usage() } |
231 |
231 |