diff options
Diffstat (limited to 'pentoo.txt')
| -rw-r--r-- | pentoo.txt | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/pentoo.txt b/pentoo.txt index 9b9972bd21ef..014857377cfe 100644 --- a/pentoo.txt +++ b/pentoo.txt @@ -15,16 +15,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 pentoo -From https://github.com/pentoo/pentoo-overlay - a0612b02..00975c6c master -> origin/master -Updating a0612b02..00975c6c -Fast-forward - profiles/pentoo/base/package.use/x11-base | 2 +- - profiles/pentoo/zero-system/package.use/x11-base | 1 + - ...-7.2018.2.ebuild => gcc-arm-none-eabi-7.2018.2-r1.ebuild} | 12 +++++------- - 3 files changed, 7 insertions(+), 8 deletions(-) - create mode 100644 profiles/pentoo/zero-system/package.use/x11-base - rename sys-devel/gcc-arm-none-eabi/{gcc-arm-none-eabi-7.2018.2.ebuild => gcc-arm-none-eabi-7.2018.2-r1.ebuild} (88%) +Already up to date. *** synced pentoo * Sync succeeded $ git log --format=%ci -1 |