diff options
Diffstat (limited to 'jenkins/run-build.env')
-rw-r--r-- | jenkins/run-build.env | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/jenkins/run-build.env b/jenkins/run-build.env index 067ee4b..f2c0cd4 100644 --- a/jenkins/run-build.env +++ b/jenkins/run-build.env @@ -1,13 +1,13 @@ -build_name="#118" +build_name="#120" docker_run=(./jenkins-scripts/docker-run.sh --distro default --arch arm64 --node -tcwg-jade-05 ) -build_name="#118-gcc" +tcwg-snow-02 ) +build_name="#120-gcc" branch_opt=(==rr\[gcc_git\] -https://github.com/gcc-mirror/gcc.git#d76d19c9bc5ef1138af65fa3546eb628b7a756c9 ) +https://github.com/gcc-mirror/gcc.git#1d203d4c90adb064edfa9680768d1f83a41f17e0 ) docker_precommit=() res="0" |