diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2017-12-15 17:25:28 +0000 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2017-12-15 17:25:28 +0000 |
commit | 6b933047f46efec1aa747570f945344254227457 (patch) | |
tree | a12a4b87b38f954c4de435272cf4b90d721df5e8 /dev-python/jenkins-webapi/files/local_jenkins_war.patch | |
parent | f45955e60d4da9b7f4a1088c98042f9c06669039 (diff) |
gentoo resync : 15.12.2017
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') - - |