From 858a92f39437d18ac1369aa269f791c54842554b Mon Sep 17 00:00:00 2001 From: Shirang Jia Date: Thu, 20 Jan 2022 15:47:53 -0800 Subject: [PATCH] Deduplicate Jenkins parameters (#7035) Signed-off-by: Shirang Jia --- scripts/build/Jenkins/Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/build/Jenkins/Jenkinsfile b/scripts/build/Jenkins/Jenkinsfile index 51f89d7829..b55689b871 100644 --- a/scripts/build/Jenkins/Jenkinsfile +++ b/scripts/build/Jenkins/Jenkinsfile @@ -813,7 +813,7 @@ try { } } - pipelineProperties.add(parameters(pipelineParameters)) + pipelineProperties.add(parameters(pipelineParameters.unique())) properties(pipelineProperties) // Stash the INCREMENTAL_BUILD_SCRIPT_PATH since all nodes will use it