diff --git a/scripts/build/Jenkins/Jenkinsfile b/scripts/build/Jenkins/Jenkinsfile index 1c0409ceec..e45b7075f0 100644 --- a/scripts/build/Jenkins/Jenkinsfile +++ b/scripts/build/Jenkins/Jenkinsfile @@ -643,7 +643,7 @@ try { defaultValue = jenkinsParameter['default_value'] // Use last run's value as default value so we can save values in different Jenkins environment if (jenkinsParameter['use_last_run_value']?.toBoolean()) { - defaultValue = params."$jenkinsParameter['parameter_name']" ?: jenkinsParameter['default_value'] + defaultValue = params."${jenkinsParameter['parameter_name']}" ?: jenkinsParameter['default_value'] } switch (jenkinsParameter['parameter_type']) { case 'string':