Resolving issues when porting change from previous git fork.

Signed-off-by: Timothy Prinz <[email protected]>
ccc-spdm-tools · Feb 6, 2024 · 572af7e · 572af7e
1 parent c07d798
commit 572af7e
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git 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
@@ -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
 }