changeset 32641 | 68c53dbceffd |
parent 32061 | 11f8ee55662d |
child 32931 | 540e674ff184 |
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" |