From 63162348bcc5c6bb9be46a831646f2464c45e435 Mon Sep 17 00:00:00 2001
From: Timothy Prinz <tandrewprinz@nvidia.com>
Date: Mon, 5 Feb 2024 18:31:53 -0800
Subject: [PATCH] Resolving issues when porting change from previous git fork.

Signed-off-by: Timothy Prinz <tandrewprinz@nvidia.com>
---
 sh_script/build.sh     | 1 +
 sh_script/pre-build.sh | 1 -
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/sh_script/build.sh b/sh_script/build.sh
index b4e36fa..016b32b 100755
--- a/sh_script/build.sh
+++ b/sh_script/build.sh
@@ -9,6 +9,7 @@ usage() {
 Usage: $(basename "$0") [OPTION]...
   -c Run check
   -b Build target
+  -t Specify target platform to be built
   -r Build and run tests
   -h Show help info
 EOM
diff --git a/sh_script/pre-build.sh b/sh_script/pre-build.sh
index 9114c9c..df63bff 100755
--- a/sh_script/pre-build.sh
+++ b/sh_script/pre-build.sh
@@ -35,7 +35,6 @@ patch-webpki() {
     # apply the patch set for webpki
     pushd external/webpki
     git reset --hard f84a538a5cd281ba1ffc0d54bbe5824cf5969703
-	@@ -16,4 +43,10 @@ format-patch() {
     popd
 }