clarified usage;
authorwenzelm
Sun Apr 03 19:47:29 2016 +0200 (2016-04-03 ago)
changeset 628283fee575c9dce
parent 62826 eb94e570c1a4
child 62829 4141c2a8458b
clarified usage;
lib/Tools/getenv
     1.1 --- a/lib/Tools/getenv	Sat Apr 02 23:29:05 2016 +0200
     1.2 +++ b/lib/Tools/getenv	Sun Apr 03 19:47:29 2016 +0200
     1.3 @@ -57,6 +57,7 @@
     1.4  
     1.5  # args
     1.6  
     1.7 +[ -z "$ALL" -a -z "$DUMP" -a "$#" -eq 0 ] && usage
     1.8  [ -n "$ALL" -a "$#" -ne 0 ] && usage
     1.9  
    1.10