Provide the Coverity installation path on the agent where it will be installed during the Jenkins build.