From afa949353e9b996f06933a62693fd4d336156108 Mon Sep 17 00:00:00 2001 From: Carl Wachter Date: Wed, 5 Jun 2024 11:53:37 +0200 Subject: [PATCH] https for clone --- toolchain.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/toolchain.sh b/toolchain.sh index 6d15b67..47758bf 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 toolchain_fix git@github.com:CarlWachter/hermit-playground.git hermit +git clone --recursive -b toolchain_fix https://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