diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/build.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/scripts/build.sh b/scripts/build.sh index 4eb99d3d5..6a5b541d2 100755 --- a/scripts/build.sh +++ b/scripts/build.sh @@ -23,6 +23,21 @@ set -e +if [ -z "${_COLOR}" ]; then + _COLOR="auto" + _COLOR_OUT="true" + _COLOR_ERR="true" + if [ ! -t 1 ]; then + _COLOR_OUT="false" + fi + if [ ! -t 2 ]; then + _COLOR_ERR="false" + fi +else + _COLOR_OUT="${_COLOR}" + _COLOR_ERR="${_COLOR}" +fi + if [ -e local/live-build ] then LIVE_BUILD="${LIVE_BUILD:-${PWD}/local/live-build}" |