handle empty name;
authorwenzelm
Tue, 29 Sep 1998 18:13:05 +0200
changeset 5587 7fceb6eea475
parent 5586 7576d138d17f
child 5588 a3ab526bb891
handle empty name;
lib/Tools/logo
--- a/lib/Tools/logo	Tue Sep 29 16:06:04 1998 +0200
+++ b/lib/Tools/logo	Tue Sep 29 18:13:05 1998 +0200
@@ -55,10 +55,10 @@
 
 # args
 
-NAME=""
+NAME="-"
 [ $# -ge 1 ] && { NAME="$1"; shift; }
 
-[ $# -ne 0 -o -z "$NAME" ] && usage
+[ $# -ne 0 -o "$NAME" = "-" ] && usage
 
 
 ## main