lib/Tools/usedir
changeset 32641 68c53dbceffd
parent 32061 11f8ee55662d
child 32931 540e674ff184
equal deleted inserted replaced
32640:ba6531df2c64 32641:68c53dbceffd
   260   echo "Finished $ITEM ($TIMES_REPORT)" >&2
   260   echo "Finished $ITEM ($TIMES_REPORT)" >&2
   261   gzip --force "$LOG"
   261   gzip --force "$LOG"
   262 else
   262 else
   263   { echo "$ITEM FAILED";
   263   { echo "$ITEM FAILED";
   264     echo "(see also $LOG)";
   264     echo "(see also $LOG)";
   265     echo; tail "$LOG"; echo; } >&2
   265     echo; tail -n 20 "$LOG"; echo; } >&2
   266 fi
   266 fi
   267 
   267 
   268 exit "$RC"
   268 exit "$RC"