From 16775aa04028dfe2bc27335c3a375766d224c3c4 Mon Sep 17 00:00:00 2001 From: Noratrieb <48135649+Noratrieb@users.noreply.github.com> Date: Mon, 28 Jul 2025 19:53:08 +0200 Subject: [PATCH] fix --- .gitignore | 1 + before.html | 16 ++++++++++++---- build.sh | 5 ++++- 3 files changed, 17 insertions(+), 5 deletions(-) diff --git a/.gitignore b/.gitignore index fee805a..c2d9adf 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ /doc /rust /www-root +/html-test.rs diff --git a/before.html b/before.html index 34e929a..f3b3083 100644 --- a/before.html +++ b/before.html @@ -1,6 +1,16 @@ diff --git a/build.sh b/build.sh index aadf751..586f663 100755 --- a/build.sh +++ b/build.sh @@ -7,9 +7,12 @@ root=$(realpath "$PWD") cp index.html "$root/www-root" # use a higher depth because bootstrap might be broken with depth 1? -git clone --depth 50 https://github.com/rust-lang/rust.git +if [ ! -d 'rust' ]; then + git clone --depth 50 https://github.com/rust-lang/rust.git +fi cd rust +rm -f bootstrap.toml ./configure \ --set llvm.download-ci-llvm=true \ --set rust.llvm-tools=false \