diff --git a/ci/run.sh b/ci/run.sh
index 0f25a53..8ac8845 100755
--- a/ci/run.sh
+++ b/ci/run.sh
@@ -55,11 +55,11 @@ esac
 case $1 in
     thumb*)
         RUSTFLAGS="-C debug-assertions=no" xargo rustc --features c --target $1 --example intrinsics -- -C lto -C link-arg=-nostartfiles
-        xargo rustc --no-default-features --features c --target $1 --example intrinsics --release -- -C lto
+        xargo rustc --features c --target $1 --example intrinsics --release -- -C lto
         ;;
     *)
         RUSTFLAGS="-C debug-assertions=no" cargo rustc --features c --target $1 --example intrinsics -- -C lto
-        cargo rustc --no-default-features --features c --target $1 --example intrinsics --release -- -C lto
+        cargo rustc --features c --target $1 --example intrinsics --release -- -C lto
         ;;
 esac