mirror of https://git.ffmpeg.org/ffmpeg.git
configure: colorize error messages
Signed-off-by: Ganesh Ajjanagadde <gajjanagadde@gmail.com> Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>
This commit is contained in:
parent
85a7ff8c27
commit
07d33439f3
|
@ -421,6 +421,7 @@ if test -t 1 && which tput >/dev/null; then
|
||||||
if test -n "$ncolors" && test $ncolors -ge 8; then
|
if test -n "$ncolors" && test $ncolors -ge 8; then
|
||||||
bold_color=$(tput bold)
|
bold_color=$(tput bold)
|
||||||
warn_color=$(tput setaf 3)
|
warn_color=$(tput setaf 3)
|
||||||
|
error_color=$(tput setaf 1)
|
||||||
reset_color=$(tput sgr0)
|
reset_color=$(tput sgr0)
|
||||||
fi
|
fi
|
||||||
fi
|
fi
|
||||||
|
@ -435,18 +436,14 @@ log_file(){
|
||||||
log END $1
|
log END $1
|
||||||
}
|
}
|
||||||
|
|
||||||
echolog(){
|
|
||||||
log "$@"
|
|
||||||
echo "$@"
|
|
||||||
}
|
|
||||||
|
|
||||||
warn(){
|
warn(){
|
||||||
log "WARNING: $*"
|
log "WARNING: $*"
|
||||||
WARNINGS="${WARNINGS}WARNING: $*\n"
|
WARNINGS="${WARNINGS}WARNING: $*\n"
|
||||||
}
|
}
|
||||||
|
|
||||||
die(){
|
die(){
|
||||||
echolog "$@"
|
log "$@"
|
||||||
|
echo "$error_color$bold_color$@$reset_color"
|
||||||
cat <<EOF
|
cat <<EOF
|
||||||
|
|
||||||
If you think configure made a mistake, make sure you are using the latest
|
If you think configure made a mistake, make sure you are using the latest
|
||||||
|
|
Loading…
Reference in New Issue