fix: remove kernel time dependency workaround

Signed-off-by: Martin Kröning <[email protected]>
hermit-os · Aug 12, 2024 · 8d09c56 · 8d09c56
1 parent ee1311d
commit 8d09c56
Showing 1 changed file with 0 additions and 4 deletions.
diff --git 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