diff options
author | Ramji Jiyani <ramjiyani@google.com> | 2022-09-21 12:01:21 -0700 |
---|---|---|
committer | Ramji Jiyani <ramjiyani@google.com> | 2022-09-30 17:41:39 +0000 |
commit | 94442686bcdeb7759b3b02fd806ff05dbdeb8ac9 (patch) | |
tree | 9cbf825e4d98d23e371ea05dcdbe421f9576c459 | |
parent | d9a5e8708b70f78826dc5d0e609289af058f8282 (diff) |
Revert "ANDROID: GKI: remove info print for header generation"
This reverts commit 438c43687f91345399645f547ef72f8297bab837.
Reason for revert: Part of old protected/unprotected module implemenation.
It is being replaced by a new design listed as option 2A at
go/gki-modules-build-integration
Bug: 232430739
Test: TH
Signed-off-by: Ramji Jiyani <ramjiyani@google.com>
Change-Id: I994b0ce0f30c4098bc5d3d2560b10a117486cc1f
-rwxr-xr-x | scripts/gen_gki_modules_headers.sh | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/scripts/gen_gki_modules_headers.sh b/scripts/gen_gki_modules_headers.sh index ad0eeee28565..9fab5185db19 100755 --- a/scripts/gen_gki_modules_headers.sh +++ b/scripts/gen_gki_modules_headers.sh @@ -26,12 +26,6 @@ set -e # # Common Definitions # -# Use "make V=1" to debug this script. -case "$KBUILD_VERBOSE" in -*1*) - set -x - ;; -esac # # generate_header(): @@ -44,6 +38,7 @@ generate_header() { local symbol_file=$2 local symbol_type=$3 + echo " GEN ${header_file}" if [ -f "${header_file}" ]; then rm -f -- "${header_file}" fi |