diff options
Diffstat (limited to 'gentoo.txt')
-rw-r--r-- | gentoo.txt | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/gentoo.txt b/gentoo.txt index f08a95818de7..f3d81f50945d 100644 --- a/gentoo.txt +++ b/gentoo.txt @@ -18,15 +18,7 @@ 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 -From https://anongit.gentoo.org/git/repo/gentoo - 079424a6867..50bc785fdd6 master -> origin/master -Updating 079424a6867..50bc785fdd6 -Fast-forward - dev-java/openjdk-bin/Manifest | 1 + - dev-java/openjdk-bin/openjdk-bin-11.0.3_p7-r1.ebuild | 11 +++++++++-- - profiles/arch/arm/armv7a/package.mask | 4 ++++ - profiles/arch/arm/package.mask | 4 ++++ - 4 files changed, 18 insertions(+), 2 deletions(-) +Already up to date. *** synced gentoo * Sync succeeded $ git log --format=%ci -1 |