Your Name
20 lines
436 B
Bash
Executable File
20 lines
436 B
Bash
Executable File
#! /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
|