12345678910111213141516171819 |
- #! /bin/bash
- # Expects the path to a log file as $1, and if this file has any content
- # then display the contents and exit with an error code.
- set -e -u
- LOGFILE=$1
- LINES=$(grep --invert-match "attempting MIRRORS if available" $LOGFILE | wc -l)
- if test "$LINES" -ne 0; then
- echo ==============================
- echo The build had warnings/errors:
- echo ==============================
- cat $LOGFILE
- exit 1
- fi
- exit 0
|