From 899107f689b0ba015ebea1c901e7774ab5207306 Mon Sep 17 00:00:00 2001 From: Repository mirror & CI Date: Thu, 19 Nov 2020 17:35:14 +0000 Subject: 2020-11-19T17:30:01Z --- robert7k.html | 56 ++++++++++++++++++++++++++++++++++++++++++++++++-------- 1 file changed, 48 insertions(+), 8 deletions(-) (limited to 'robert7k.html') diff --git a/robert7k.html b/robert7k.html index c8d764ff0c98..cd95bb708b47 100644 --- a/robert7k.html +++ b/robert7k.html @@ -56,21 +56,61 @@ 23
 
- 24
Already up to date.
+            24
From https://github.com/robert7k/gentoo-overlay
 
- 25
*** syncing robert7k
+            25
   b6548a8..7d7c96d  master     -> origin/master
 
- 26
*** synced robert7k
+            26
Updating b6548a8..7d7c96d
 
- 27
 * Sync succeeded
+            27
Fast-forward
 
- 28
$ git log --format=%ci -1
+            28
 www-servers/tomcat/Manifest                        |  10 +
 
- 29
$ git show -q --pretty=format:%G? HEAD
+            29
 .../tomcat/files/tomcat-9.0.37-build.xml.patch     | 284 +++++++++++++++++++++
 
- 30
$ pmaint regen --use-local-desc --pkg-desc-index -t 1 robert7k
+            30
 .../files/tomcat-9.0.37-fix-build-rewrite.patch    |  13 +
 
- 31
 * Cache regenerated successfully
+            31
 .../tomcat/files/tomcat-instance-manager-r1.bash   | 240 +++++++++++++++++
+
+ 32
 .../tomcat/files/tomcat-instance-manager-r2.bash   | 270 ++++++++++++++++++++
+
+ 33
 www-servers/tomcat/files/tomcat-r1.init            | 110 ++++++++
+
+ 34
 www-servers/tomcat/files/tomcat.conf               |  57 +++++
+
+ 35
 www-servers/tomcat/tomcat-9.0.38-r1.ebuild         | 187 ++++++++++++++
+
+ 36
 8 files changed, 1171 insertions(+)
+
+ 37
 create mode 100644 www-servers/tomcat/Manifest
+
+ 38
 create mode 100644 www-servers/tomcat/files/tomcat-9.0.37-build.xml.patch
+
+ 39
 create mode 100644 www-servers/tomcat/files/tomcat-9.0.37-fix-build-rewrite.patch
+
+ 40
 create mode 100644 www-servers/tomcat/files/tomcat-instance-manager-r1.bash
+
+ 41
 create mode 100644 www-servers/tomcat/files/tomcat-instance-manager-r2.bash
+
+ 42
 create mode 100644 www-servers/tomcat/files/tomcat-r1.init
+
+ 43
 create mode 100644 www-servers/tomcat/files/tomcat.conf
+
+ 44
 create mode 100644 www-servers/tomcat/tomcat-9.0.38-r1.ebuild
+
+ 45
*** syncing robert7k
+
+ 46
*** synced robert7k
+
+ 47
 * Sync succeeded
+
+ 48
$ git log --format=%ci -1
+
+ 49
$ git show -q --pretty=format:%G? HEAD
+
+ 50
$ pmaint regen --use-local-desc --pkg-desc-index -t 1 robert7k
+
+ 51
 * Cache regenerated successfully
 
-- cgit v1.2.3-65-gdbad