Std lib fix

model-checking · Aug 18, 2021 · 716b351 · 716b351
1 parent 34b92bb
commit 716b351
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/scripts/std-lib-regression.sh b/scripts/std-lib-regression.sh
@@ -21,7 +21,6 @@ cd /tmp
 if [ -d StdLibTest ]; then rm -rf StdLibTest; fi
 cargo new StdLibTest
 cd StdLibTest
-rustup component add rust-src --toolchain nightly > /dev/null 2>&1
 RUSTFLAGS="-Z trim-diagnostic-paths=no -Z codegen-backend=gotoc --cfg=rmc" RUSTC=rmc-rustc cargo +nightly build -Z build-std --target x86_64-unknown-linux-gnu 2> $STD_LIB_LOG
 
 # For now, we expect a linker error, but no modules should fail with a compiler