diff options
Diffstat (limited to 'etc/generate-repos.sh')
| -rwxr-xr-x | etc/generate-repos.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/etc/generate-repos.sh b/etc/generate-repos.sh index 5b73257..e6cce07 100755 --- a/etc/generate-repos.sh +++ b/etc/generate-repos.sh @@ -16,10 +16,10 @@ set -eu : ${JUST_REPO:=https://github.com/just-buildsystem/justbuild} -: ${JUST_BRANCH:=v1.3.0} +: ${JUST_BRANCH:=v1.3.1} : ${TC_REPO:=https://github.com/just-buildsystem/bootstrappable-toolchain} : ${TC_BRANCH:=master} -: ${TC_NAME:=gcc-13.2.0-musl+tools} +: ${TC_NAME:=gcc-14.1.0-musl+tools} cd $(dirname $0) |