equal
deleted
inserted
replaced
211 "t:" -> (arg => options = options + ("mirabelle_timeout=" + arg)), |
211 "t:" -> (arg => options = options + ("mirabelle_timeout=" + arg)), |
212 "v" -> (_ => verbose = true), |
212 "v" -> (_ => verbose = true), |
213 "x:" -> (arg => exclude_sessions = exclude_sessions ::: List(arg))) |
213 "x:" -> (arg => exclude_sessions = exclude_sessions ::: List(arg))) |
214 |
214 |
215 val sessions = getopts(args) |
215 val sessions = getopts(args) |
216 |
216 if (actions.isEmpty) getopts.usage() |
217 if (actions.isEmpty) error("Missing actions (option -A)") |
|
218 |
217 |
219 val progress = new Console_Progress(verbose = verbose) |
218 val progress = new Console_Progress(verbose = verbose) |
220 |
219 |
221 val start_date = Date.now() |
220 val start_date = Date.now() |
222 |
221 |