lib/Tools/getenv
changeset 62828 3fee575c9dce
parent 61294 2d3d26e9b191
     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