diff --git a/toolchain.sh b/toolchain.sh index 56552aa..122378c 100755 --- a/toolchain.sh +++ b/toolchain.sh @@ -40,10 +40,6 @@ fi if [ ! -d "hermit" ]; then git clone --recursive -b master https://github.com/hermit-os/hermit-playground hermit -pushd hermit/librs -# See https://github.com/hermit-os/libhermit-rs/issues/597 -cargo update --package time --precise 0.3.11 -popd fi if [ ! -d "newlib" ]; then