| commit | be56ac9aadd878fbabb59400fb1908d7e022732d | [log] [tgz] |
|---|---|---|
| author | Treehugger Robot <android-test-infra-autosubmit@system.gserviceaccount.com> | Wed Nov 01 18:22:13 2023 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Wed Nov 01 18:22:13 2023 +0000 |
| tree | 221656a2d4ca2d22920fd043b94fa35818b2b9f8 | |
| parent | 5f4a51ef6666cf165b9e519ad3f8e1ebf552b45e [diff] | |
| parent | 8c9166ae37a1a62c6ce4b5474a0aa6f18c0b2c8d [diff] |
Merge "Convert partition size to int before CheckSize" into main
diff --git a/envsetup.sh b/envsetup.sh index ee45280..3b76980 100644 --- a/envsetup.sh +++ b/envsetup.sh
@@ -1880,6 +1880,10 @@ >&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()