lib/Tools/logo
changeset 5587 7fceb6eea475
parent 5570 ae1b56ef16b0
child 6082 590f9e3bf4d8
     1.1 --- a/lib/Tools/logo	Tue Sep 29 16:06:04 1998 +0200
     1.2 +++ b/lib/Tools/logo	Tue Sep 29 18:13:05 1998 +0200
     1.3 @@ -55,10 +55,10 @@
     1.4  
     1.5  # args
     1.6  
     1.7 -NAME=""
     1.8 +NAME="-"
     1.9  [ $# -ge 1 ] && { NAME="$1"; shift; }
    1.10  
    1.11 -[ $# -ne 0 -o -z "$NAME" ] && usage
    1.12 +[ $# -ne 0 -o "$NAME" = "-" ] && usage
    1.13  
    1.14  
    1.15  ## main