Test for the existence of devtoolset-2 in jenkins-build script