diff --git a/Jenkinsfile.groovy b/Jenkinsfile.groovy index 504a7ec62..978ad0d90 100644 --- a/Jenkinsfile.groovy +++ b/Jenkinsfile.groovy @@ -26,8 +26,8 @@ def fetchParamsFromGitLog() { def idx = opt.indexOf('='); println("Processing option ${opt} with idx=${idx}"); if (idx > 0) { - def key = opt.subString(0, idx); - def value = opt.subString(idx+1); + def key = opt.substring(0, idx); + def value = opt.substring(idx+1); params[key] = value; println("Overwriting params.${key} with ${value}"); }