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, 0 insertions, 12 deletions
diff --git a/dev-python/jenkins-webapi/files/local_jenkins_war.patch b/dev-python/jenkins-webapi/files/local_jenkins_war.patch deleted file mode 100644 index c41f5bb51ce3..000000000000 --- a/dev-python/jenkins-webapi/files/local_jenkins_war.patch +++ /dev/null @@ -1,12 +0,0 @@ ---- 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') - - |