From 3fa5a5214cc5a689a8420b83d1462c77e259de84 Mon Sep 17 00:00:00 2001
From: Carl Wachter <carl.wachter@rwth-aachen.de>
Date: Wed, 5 Jun 2024 11:48:44 +0200
Subject: [PATCH] fix(cmake): install bootstrap

---
 toolchain.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/toolchain.sh b/toolchain.sh
index 1f7cdb7..6d15b67 100755
--- a/toolchain.sh
+++ b/toolchain.sh
@@ -39,7 +39,7 @@ mv isl-0.15 gcc/isl
 fi
 
 if [ ! -d "hermit" ]; then
-git clone --recursive -b master https://github.com/hermit-os/hermit-playground hermit
+git clone --recursive -b toolchain_fix git@github.com:CarlWachter/hermit-playground.git hermit
 pushd hermit/librs
 # See https://github.com/hermit-os/libhermit-rs/issues/597
 cargo update --package time --precise 0.3.11