From 5c2f505dd2b3ac64dfcf35d2db69c5e1503b0f27 Mon Sep 17 00:00:00 2001
From: Waldemar Tomme <waldetomme@gmail.com>
Date: Tue, 21 Nov 2023 10:30:29 +0100
Subject: [PATCH] Add --envkernel option

---
 build.sh | 32 +++++++++++++++++++++++++++++++-
 1 file changed, 31 insertions(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index 44e60be..d78b48e 100755
--- a/build.sh
+++ b/build.sh
@@ -1,4 +1,34 @@
-#!/bin/bash -xe
+#!/bin/bash -e
+
+LINUX_PKG="linux-samsung-a7y18lte"
+BUILD_ENVKERNEL=0
+
+VALID_ARGS=$(getopt -o d --long envkernel -- "$@")
+if [[ $? -ne 0 ]]; then
+    exit 1;
+fi
+
+eval set -- "$VALID_ARGS"
+while [ : ]; do
+  case "$1" in
+    -d | --envkernel)
+        BUILD_ENVKERNEL=1
+        shift
+        ;;
+
+    --)
+        shift
+        break
+        ;;
+  esac
+done
+
+set -x
+
+if [[ $BUILD_ENVKERNEL -ne 0 ]]; then
+    pmbootstrap initfs hook_add debug-shell
+    pmbootstrap build --envkernel $LINUX_PKG
+fi
 
 pmbootstrap install \
     --password pw \