From 7a17b505361b797f5c1764ab5be4cc8239932231 Mon Sep 17 00:00:00 2001
From: Jimmy Xu <xjmmyshcn@gmail.com>
Date: Fri, 20 Mar 2020 02:00:44 +0800
Subject: [PATCH] kernel: support bash debug

Add option '-d' in build-kernel.sh to enable bash debug.

Signed-off-by: Jimmy Xu <junming.xjm@antfin.com>
---
 kernel/build-kernel.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/kernel/build-kernel.sh b/kernel/build-kernel.sh
index 9f46758e3..d470e4012 100755
--- a/kernel/build-kernel.sh
+++ b/kernel/build-kernel.sh
@@ -87,6 +87,7 @@ Commands:
 Options:
 
 	-c <path>   : Path to config file to build a the kernel.
+	-d          : Enable bash debug.
 	-e          : Enable experimental kernel.
 	-g <vendor> : GPU vendor, intel or nvidia.
 	-h          : Display this help.
@@ -424,7 +425,7 @@ install_kata() {
 }
 
 main() {
-	while getopts "a:c:eg:hk:p:t:v:" opt; do
+	while getopts "a:c:deg:hk:p:t:v:" opt; do
 		case "$opt" in
 			a)
 				arch_target="${OPTARG}"
@@ -432,6 +433,10 @@ main() {
 			c)
 				kernel_config_path="${OPTARG}"
 				;;
+			d)
+				PS4=' Line ${LINENO}: '
+				set -x
+				;;
 			e)
 				experimental_kernel="true"
 				;;