From b1a7f91b24a07acdb951e36cf75c2a11ab047def Mon Sep 17 00:00:00 2001
From: Trevor Gross <tmgross@umich.edu>
Date: Wed, 27 Nov 2024 17:02:06 -0500
Subject: [PATCH] Add rustc-dep-of-std to CI

---
 ci/run.sh | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/ci/run.sh b/ci/run.sh
index 9754118f742b..6413019ee5fc 100755
--- a/ci/run.sh
+++ b/ci/run.sh
@@ -101,16 +101,21 @@ if [ "$target" = "s390x-unknown-linux-gnu" ]; then
     passed=0
     until [ $n -ge $N ]; do
         if [ "$passed" = "0" ]; then
-            if $cmd --no-default-features; then
+            if $cmd --no-default-features --features rustc-dep-of-std; then
                 passed=$((passed+1))
                 continue
             fi
         elif [ "$passed" = "1" ]; then
-            if $cmd; then
+            if $cmd --no-default-features; then
                 passed=$((passed+1))
                 continue
             fi
         elif [ "$passed" = "2" ]; then
+            if $cmd; then
+                passed=$((passed+1))
+                continue
+            fi
+        elif [ "$passed" = "3" ]; then
             if $cmd --features extra_traits; then
                 break
             fi
@@ -119,6 +124,7 @@ if [ "$target" = "s390x-unknown-linux-gnu" ]; then
         sleep 1
     done
 else
+    $cmd --no-default-features --features rustc-dep-of-std
     $cmd --no-default-features
     $cmd
     $cmd --features extra_traits