Fix tools/build.sh

taiki-e · Apr 30, 2023 · d5ae628 · d5ae628
1 parent 9c15630
commit d5ae628
Showing 1 changed file with 5 additions and 1 deletion.
diff --git 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)"