diff options
Diffstat (limited to 'gentoo.txt')
| -rw-r--r-- | gentoo.txt | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/gentoo.txt b/gentoo.txt index f3d81f50945d..252f2f3ce14f 100644 --- a/gentoo.txt +++ b/gentoo.txt @@ -18,7 +18,14 @@ WARNING:pkgcore:'genthree' repo at '/var/lib/repo-mirror-ci/sync/genthree' has u WARNING:pkgcore:'xelnor' repo at '/var/lib/repo-mirror-ci/sync/xelnor' has unsupported profile format: build-id WARNING:pkgcore:'xelnor' repo at '/var/lib/repo-mirror-ci/sync/xelnor' has unsupported profile format: build-id *** syncing gentoo -Already up to date. +From https://anongit.gentoo.org/git/repo/gentoo + 0c16a194251..3674bd90bad master -> origin/master +Updating 0c16a194251..3674bd90bad +Fast-forward + .../tvheadend/files/tvheadend-4.3-hdhomerun.patch | 36 ++++++++++++++++++++++ + media-tv/tvheadend/tvheadend-9999.ebuild | 2 +- + 2 files changed, 37 insertions(+), 1 deletion(-) + create mode 100644 media-tv/tvheadend/files/tvheadend-4.3-hdhomerun.patch *** synced gentoo * Sync succeeded $ git log --format=%ci -1 |