lib/Tools/usedir
changeset 34261 8e36b3ac6083
parent 34238 b28be884edda
child 41703 d27950860514
equal deleted inserted replaced
34260:2524c1bbd087 34261:8e36b3ac6083
   259   echo "Finished $ITEM ($TIMES_REPORT)" >&2
   259   echo "Finished $ITEM ($TIMES_REPORT)" >&2
   260   gzip --force "$LOG"
   260   gzip --force "$LOG"
   261 else
   261 else
   262   { echo "$ITEM FAILED";
   262   { echo "$ITEM FAILED";
   263     echo "(see also $LOG)";
   263     echo "(see also $LOG)";
   264     echo; tail -40 "$LOG"; echo; } >&2
   264     echo; tail -20 "$LOG"; echo; } >&2
   265 fi
   265 fi
   266 
   266 
   267 exit "$RC"
   267 exit "$RC"