From d5ae628fe621d9e1ddb01eeb8bc31e1575df60ed Mon Sep 17 00:00:00 2001
From: Taiki Endo <te316e89@gmail.com>
Date: Sun, 30 Apr 2023 10:47:55 +0900
Subject: [PATCH] Fix tools/build.sh

---
 tools/build.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/tools/build.sh b/tools/build.sh
index 10bbceb4..a66d6614 100755
--- a/tools/build.sh
+++ b/tools/build.sh
@@ -280,7 +280,11 @@ build() {
             args+=(-Z build-std="core,alloc")
             args+=(--exclude-features "std")
         else
-            args+=(-Z build-std)
+            case "${target}" in
+                # panic=abort
+                *-espidf*) args+=(-Z build-std="panic_abort,std") ;;
+                *) args+=(-Z build-std) ;;
+            esac
         fi
     else
         echo "target '${target}' requires nightly compiler (skipped all checks)"