From 7257c56a81c81020513925721a97fa8731730e53 Mon Sep 17 00:00:00 2001
From: Michael Roth <michael.roth@amd.com>
Date: Wed, 9 Feb 2022 18:33:35 -0600
Subject: build.sh: document --package

Also allow users to select a specific type of kernel packages to build
via:

  build.sh --package kernel
  build.sh --package kernel host
  build.sh --package kernel guest
---
 common.sh | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'common.sh')

diff --git a/common.sh b/common.sh
index 6cb297e..9583710 100755
--- a/common.sh
+++ b/common.sh
@@ -13,10 +13,19 @@ run_cmd()
 build_kernel()
 {
 	set -x
+	kernel_type=$1
+	shift
 	mkdir -p linux
 	pushd linux >/dev/null
 
 	for V in guest host; do
+		# Check if only a "guest" or "host" or kernel build is requested
+		if [ "$kernel_type" != "" ]; then
+			if [ "$kernel_type" != "$V" ]; then
+				continue
+			fi
+		fi
+
 		[ -d ${V} ] || {
 			if [ "${V}" = "guest" ]; then
 				BRANCH="${KERNEL_GUEST_BRANCH}"
-- 
cgit v1.2.3-71-gd317