Merge pull request #35 from hermit-os/time

fix: remove kernel time dependency workaround
hermit-os · Aug 13, 2024 · 0104515 · 0104515
2 parents 23f49cb + 8d09c56
commit 0104515
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/toolchain.sh b/toolchain.sh
@@ -37,10 +37,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