diff --git a/scripts/gen_gki_modules_headers.sh b/scripts/gen_gki_modules_headers.sh
index 9fab5185db19..ad0eeee28565 100755
--- a/scripts/gen_gki_modules_headers.sh
+++ b/scripts/gen_gki_modules_headers.sh
@@ -26,6 +26,12 @@ set -e
 #
 # Common Definitions
 #
+# Use "make V=1" to debug this script.
+case "$KBUILD_VERBOSE" in
+*1*)
+	set -x
+	;;
+esac
 
 #
 # generate_header():
@@ -38,7 +44,6 @@ generate_header() {
 	local symbol_file=$2
 	local symbol_type=$3
 
-	echo "  GEN     ${header_file}"
 	if [ -f "${header_file}" ]; then
 		rm -f -- "${header_file}"
 	fi