tuned messages;
authorwenzelm
Wed, 18 Aug 1999 17:31:53 +0200
changeset 7259 e75aa311788c
parent 7258 b228e54a02c5
child 7260 745f834281e2
tuned messages;
lib/Tools/usedir
--- a/lib/Tools/usedir	Wed Aug 18 17:15:51 1999 +0200
+++ b/lib/Tools/usedir	Wed Aug 18 17:31:53 1999 +0200
@@ -156,14 +156,16 @@
 
 # exit status
 
-TELL_ITEM=""
-[ "$MULTI" = "true" ] && TELL_ITEM="$ITEM"
-
 if [ $RC -eq 0 ]; then
-  echo "$TELL_ITEM OK  ($ELAPSED elapsed time)"
+  if [ "$MULTI" = "true" ]; then
+    echo "Finished $ITEM  ($ELAPSED elapsed time)"
+  else
+    echo " OK  ($ELAPSED elapsed time)"
+  fi
   gzip --force "$LOG"
 else
-  echo "$TELL_ITEM FAILED"
+  [ "$MULTI" = "true" ] || echo
+  echo "$ITEM FAILED"
   echo "(see also $LOG)"
   echo; tail $LOG; echo
 fi