src/HOL/Tools/Mirabelle/mirabelle.scala
changeset 73695 b6d444194280
parent 73693 3ab18af9b2b5
child 73698 3d0952893db8
equal deleted inserted replaced
73694:60519a7bfc53 73695:b6d444194280
   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