diff options
author | 2018-03-21 06:58:35 +0000 | |
---|---|---|
committer | 2018-03-21 06:58:35 +0000 | |
commit | e177dd1ed51dce73072b91faf6de3e8d04ffd2a7 (patch) | |
tree | 6d89ddf860fc4140c40e960052499bcba9f4d4e3 /jokleinn.txt | |
parent | 2018-03-21T06:20:01Z (diff) | |
download | repos-e177dd1ed51dce73072b91faf6de3e8d04ffd2a7.tar.gz repos-e177dd1ed51dce73072b91faf6de3e8d04ffd2a7.tar.bz2 repos-e177dd1ed51dce73072b91faf6de3e8d04ffd2a7.zip |
2018-03-21T06:49:46Z
Diffstat (limited to 'jokleinn.txt')
-rw-r--r-- | jokleinn.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/jokleinn.txt b/jokleinn.txt index 77d511f1079e..5721caf88998 100644 --- a/jokleinn.txt +++ b/jokleinn.txt @@ -11,8 +11,6 @@ 'status': 'unofficial'} $ pmaint sync jokleinn 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 *** syncing jokleinn Already up to date. *** synced jokleinn @@ -21,5 +19,7 @@ $ git log --format=%ci -1 $ git show -q --pretty=format:%G? HEAD $ pmaint regen --use-local-desc --pkg-desc-index -t 1 jokleinn WARNING:pkgcore:'genthree' repo at '/home/mgorny/repos/genthree' has unsupported profile format: profile-bashrcs +WARNING:pkgcore:'xelnor' repo at '/home/mgorny/repos/xelnor' has unsupported profile format: build-id +WARNING:pkgcore:'xelnor' repo at '/home/mgorny/repos/xelnor' has unsupported profile format: build-id WARNING:pkgcore:'genthree' repo at '/home/mgorny/repos/genthree' has unsupported profile format: profile-bashrcs * Cache regenerated successfully |