Update tools/build.sh

taiki-e · Apr 30, 2023 · 9c15630 · 9c15630
1 parent 537c897
commit 9c15630
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -273,7 +273,7 @@ jobs:
             rust: nightly
             target-group: tier3
     runs-on: ubuntu-latest
-    timeout-minutes: 90
+    timeout-minutes: 120 # TODO
     steps:
       - uses: actions/checkout@v3
         with:

diff --git a/tools/build.sh b/tools/build.sh
@@ -135,8 +135,9 @@ bail() {
 }
 is_no_std() {
     case "$1" in
-        # aarch64-unknown-linux-uclibc is a custom target and libc/std currently doesn't support it.
-        *-none* | *-uefi* | *-cuda* | avr-* | *-esp-espidf | aarch64-unknown-linux-uclibc) return 0 ;;
+        # https://github.com/rust-lang/rust/blob/1.69.0/library/std/build.rs#L38
+        # TODO: aarch64-unknown-linux-uclibc is a custom target and libc/std currently doesn't support it.
+        *-none* | *-uefi* | *-cuda* | avr-* | aarch64-unknown-linux-uclibc) return 0 ;;
         *) return 1 ;;
     esac
 }