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 usage;
authorwenzelm
Sun, 03 Apr 2016 19:47:29 +0200
changeset 62828 3fee575c9dce
parent 62826 eb94e570c1a4
child 62829 4141c2a8458b
clarified usage;
lib/Tools/getenv file | annotate | diff | comparison | revisions 
--- a/lib/Tools/getenv	Sat Apr 02 23:29:05 2016 +0200
+++ b/lib/Tools/getenv	Sun Apr 03 19:47:29 2016 +0200
@@ -57,6 +57,7 @@
 
 # args
 
+[ -z "$ALL" -a -z "$DUMP" -a "$#" -eq 0 ] && usage
 [ -n "$ALL" -a "$#" -ne 0 ] && usage
isabelle