# HG changeset patch
# User wenzelm
# Date 934990313 -7200
# Node ID e75aa311788c79ea9e4c653e5492188f10705ceb
# Parent  b228e54a02c52f3a0c63141bd02ddec43496f8bf
tuned messages;

diff -r b228e54a02c5 -r e75aa311788c 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