diff options
Diffstat (limited to 'jenkins/run-build.env')
-rw-r--r-- | jenkins/run-build.env | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/jenkins/run-build.env b/jenkins/run-build.env index 6e7e1bd..cb500c1 100644 --- a/jenkins/run-build.env +++ b/jenkins/run-build.env @@ -1,4 +1,4 @@ -build_name="#93" +build_name="#95" docker_opts=(--distro default --arch @@ -9,6 +9,6 @@ tcwg-snow_bmk-02 true ) source build_container.sh trap "cleanup_all_containers" EXIT -build_name="#93" +build_name="#95" branch_opt=() -build_name="#93-R# [.] __vfscanf_internal,slowed down by 100% - 544.nab_r:[.] __vfscanf_internal - from 1 to 2 perf samples-force" +build_name="#95-R# [.] __vfscanf_internal,slowed down by 100% - 508.namd_r:[.] __vfscanf_internal - from 1 to 2 perf samples-force" |