From 4c792a73df2c0b5b0b404befa550f975fae066db Mon Sep 17 00:00:00 2001 From: Michael Tremer Date: Thu, 22 Jun 2023 15:57:34 +0000 Subject: [PATCH] make.sh: Bump toolchain version MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Signed-off-by: Michael Tremer Reviewed-by: Peter Müller --- make.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/make.sh b/make.sh index 6b9a8146bd..1378f7802f 100755 --- a/make.sh +++ b/make.sh @@ -35,7 +35,7 @@ GIT_BRANCH="$(git rev-parse --abbrev-ref HEAD)" # Git Branch GIT_TAG="$(git tag | tail -1)" # Git Tag GIT_LASTCOMMIT="$(git rev-parse --verify HEAD)" # Last commit -TOOLCHAINVER=20230210 +TOOLCHAINVER=20230620 # use multicore and max compression ZSTD_OPT="-T0 --ultra -22" -- 2.39.5