diff options
Diffstat (limited to 'pentoo.txt')
-rw-r--r-- | pentoo.txt | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/pentoo.txt b/pentoo.txt index 014857377cfe..afc77787d73b 100644 --- a/pentoo.txt +++ b/pentoo.txt @@ -15,7 +15,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 pentoo -Already up to date. +From https://github.com/pentoo/pentoo-overlay + 004776616..df0571069 master -> origin/master +Updating 004776616..df0571069 +Fast-forward + .../minipli-sources/minipli-sources-4.9.74.ebuild | 6 ++++-- + sys-kernel/pentoo-sources/Manifest | 2 ++ + sys-kernel/pentoo-sources/pentoo-sources-5.1.14.ebuild | 17 ++++++++++++++--- + 3 files changed, 20 insertions(+), 5 deletions(-) *** synced pentoo * Sync succeeded $ git log --format=%ci -1 |