jenkins pipeline临时设置java环境变量(为了能在编译服务器使用多个版本jdk)

在Jenkins Pipeline中，你可以使用
withEnv步骤来临时设置环境变量。以下是一个示例，展示了如何在Jenkins Pipeline中为一个步骤设置
JAVA_HOME环境变量：

pipeline {
    agent any

    stages {
        stage('Build') {
            steps {
                // 设置JAVA_HOME环境变量
                withEnv(["JAVA_HOME=/usr/local/jdk/jdk-17.0.11"]) {
                       sh 'echo $JAVA_HOME'
                       sh 'echo $PATH'
                    // 这里执行其他构建步骤
                }
            }
        }
    }
}

这里用withEnv来设置JAVA_HOME环境变量，在闭包中执行的步骤都会使用这个临时设置的JAVA_HOME。