diff options
author | Ronald Braunstein <rbraunstein@google.com> | 2023-10-30 12:03:40 -0700 |
---|---|---|
committer | Ronald Braunstein <rbraunstein@google.com> | 2023-10-31 15:29:06 -0700 |
commit | 6d10bbddf92887f3535fef2fc9bd4b701e9088d0 (patch) | |
tree | 789701c955be7d85a95ab8c48554a37591f59056 /envsetup.sh | |
parent | b3731e0db2b4ce553b8e9d4c25d154553b029210 (diff) | |
download | build-6d10bbddf92887f3535fef2fc9bd4b701e9088d0.tar.gz |
Add banner announcing adevice when running builds.
Test: ANDROID_QUIET_BUILD=true mm
Test: mm
Change-Id: I513591137d4866bcb824b3021269c29dec32f972
Diffstat (limited to 'envsetup.sh')
-rw-r--r-- | envsetup.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/envsetup.sh b/envsetup.sh index e448bd3cc8..2f3f7d96ab 100644 --- a/envsetup.sh +++ b/envsetup.sh @@ -1878,6 +1878,10 @@ function _trigger_build() >&2 echo "Couldn't locate the top of the tree. Try setting TOP." return 1 fi + + if [[ -z "${ANDROID_QUIET_BUILD:-}" && -n "${ANDROID_BUILD_BANNER}" ]]; then + echo "$ANDROID_BUILD_BANNER" + fi ) function m() |