Pipelineを使うJenkinsで、グローバルの設定でPATHを付け加えたい場合はPATH+EXTRAを使用する

こんばんは。Jenkinsと戯れている今日この頃です。

キー: PATH
値: /usr/local/bin:$PATH

ではなくて、

キー: PATH+EXTRA
値: /usr/local/bin

とする必要がある。こちらからは以上です。