diff options
Diffstat (limited to 'compile.sh')
-rwxr-xr-x | compile.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/compile.sh b/compile.sh index 485d54c5fa..24a179f05a 100755 --- a/compile.sh +++ b/compile.sh @@ -24,6 +24,11 @@ set -o errexit cd "$(dirname "$0")" +# Set the default verbose mode in buildenv.sh so that we do not display command +# output unless there is a failure. We do this conditionally to offer the user +# a chance of overriding this in case they want to do so. +: ${VERBOSE:=no} + source scripts/bootstrap/buildenv.sh function usage() { |