diff options
Diffstat (limited to 'dev-python/jenkins-webapi/files/local_jenkins_war.patch')
| -rw-r--r-- | dev-python/jenkins-webapi/files/local_jenkins_war.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/dev-python/jenkins-webapi/files/local_jenkins_war.patch b/dev-python/jenkins-webapi/files/local_jenkins_war.patch new file mode 100644 index 00000000000..c41f5bb51ce --- /dev/null +++ b/dev-python/jenkins-webapi/files/local_jenkins_war.patch @@ -0,0 +1,12 @@ +--- tests/install.py.orig 2014-11-23 21:21:29.000000000 +0100 ++++ tests/install.py 2015-01-28 18:29:42.750933314 +0100 +@@ -23,7 +23,7 @@ + self.destdir = destdir + + self.logfile = logfile if logfile else pjoin(self.destdir, 'jenkins.log') +- self.jenkinswar = pjoin(self.destdir, 'jenkins.war') ++ self.jenkinswar = pjoin('/opt/jenkins', 'jenkins.war') + self.jenkinscli = pjoin(self.destdir, 'jenkins-cli.jar') + self.homedir = pjoin(self.destdir, 'home') + + |