diff options
author | 2017-10-20 02:03:22 +0000 | |
---|---|---|
committer | 2017-10-20 02:03:22 +0000 | |
commit | fce78628fd3a7e7844781d6dc2b1523bbb447e21 (patch) | |
tree | e32f6d71888fb4b0b35cabbbdcb1d78c6854da85 /pentoo.txt | |
parent | 2017-10-20T01:40:01Z (diff) | |
download | repos-fce78628fd3a7e7844781d6dc2b1523bbb447e21.tar.gz repos-fce78628fd3a7e7844781d6dc2b1523bbb447e21.tar.bz2 repos-fce78628fd3a7e7844781d6dc2b1523bbb447e21.zip |
2017-10-20T02:00:01Z
Diffstat (limited to 'pentoo.txt')
-rw-r--r-- | pentoo.txt | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/pentoo.txt b/pentoo.txt index ab0d992ea9e6..6b9cf9d28979 100644 --- a/pentoo.txt +++ b/pentoo.txt @@ -15,7 +15,13 @@ WARNING:pkgcore:repo at '/home/mgorny/sync/gentoo-playground', named 'gentoo-pla WARNING:pkgcore:'genthree' repo at '/home/mgorny/sync/genthree' has unsupported profile format: profile-bashrcs WARNING:pkgcore:'xelnor' repo at '/home/mgorny/sync/xelnor' has unsupported profile format: build-id WARNING:pkgcore:'xelnor' repo at '/home/mgorny/sync/xelnor' has unsupported profile format: build-id -Already up-to-date. +From https://github.com/pentoo/pentoo-overlay + 9216d853..2eff4494 master -> origin/master +Updating 9216d853..2eff4494 +Fast-forward + profiles/pentoo/base/make.defaults | 4 +++- + profiles/pentoo/hardened/linux/base/make.defaults | 3 +++ + 2 files changed, 6 insertions(+), 1 deletion(-) *** syncing pentoo *** synced pentoo * Sync succeeded |