diff options
Diffstat (limited to 'etc/generate-repos.sh')
| -rwxr-xr-x | etc/generate-repos.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/generate-repos.sh b/etc/generate-repos.sh index 9181f09..cbd101a 100755 --- a/etc/generate-repos.sh +++ b/etc/generate-repos.sh @@ -16,7 +16,7 @@ set -eu : ${JUST_REPO:=https://github.com/just-buildsystem/justbuild} -: ${JUST_BRANCH:=v1.5.0} +: ${JUST_BRANCH:=v1.5.1} : ${TC_REPO:=https://github.com/just-buildsystem/bootstrappable-toolchain} : ${TC_BRANCH:=master} : ${TC_NAME:=gcc-14.1.0-musl+tools} |