Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified command-line;
authorwenzelm
Sat, 15 May 2021 17:38:49 +0200
changeset 73695 b6d444194280
parent 73694 60519a7bfc53
child 73696 03e134d5f867
clarified command-line;
src/HOL/Tools/Mirabelle/mirabelle.scala file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Mirabelle/mirabelle.scala	Sat May 15 13:25:52 2021 +0200
+++ b/src/HOL/Tools/Mirabelle/mirabelle.scala	Sat May 15 17:38:49 2021 +0200
@@ -213,8 +213,7 @@
       "x:" -> (arg => exclude_sessions = exclude_sessions ::: List(arg)))
 
     val sessions = getopts(args)
-
-    if (actions.isEmpty) error("Missing actions (option -A)")
+    if (actions.isEmpty) getopts.usage()
 
     val progress = new Console_Progress(verbose = verbose)
isabelle