diff options
Diffstat (limited to 'gentoo.txt')
-rw-r--r-- | gentoo.txt | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/gentoo.txt b/gentoo.txt index 1093b8152bbe..f3d81f50945d 100644 --- a/gentoo.txt +++ b/gentoo.txt @@ -18,13 +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 - 09539eb7351..db0c635fbd9 master -> origin/master -Updating 09539eb7351..db0c635fbd9 -Fast-forward - dev-embedded/sdcc/sdcc-3.8.0-r1.ebuild | 14 +++++++------- - dev-embedded/sdcc/sdcc-9999.ebuild | 14 +++++++------- - 2 files changed, 14 insertions(+), 14 deletions(-) +Already up to date. *** synced gentoo * Sync succeeded $ git log --format=%ci -1 |