From 8d09c56ac9b20d9aea0ecb6cbe2a60e2621e8a0d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Kr=C3=B6ning?=
 <martin.kroening@eonerc.rwth-aachen.de>
Date: Fri, 9 Aug 2024 12:18:04 +0000
Subject: [PATCH] fix: remove kernel time dependency workaround
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Martin Kröning <martin.kroening@eonerc.rwth-aachen.de>
---
 toolchain.sh | 4 ----
 1 file changed, 4 deletions(-)

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