diff options
author | 2018-05-30 06:43:41 +0000 | |
---|---|---|
committer | 2018-05-30 06:43:41 +0000 | |
commit | c1ddad3b8806c367b81d0c8c58295734471fafc2 (patch) | |
tree | 4c42218628c4dd76193a2b185455eec803846e7a /das-labor.txt | |
parent | 2018-05-30T06:20:01Z (diff) | |
download | repos-c1ddad3b8806c367b81d0c8c58295734471fafc2.tar.gz repos-c1ddad3b8806c367b81d0c8c58295734471fafc2.tar.bz2 repos-c1ddad3b8806c367b81d0c8c58295734471fafc2.zip |
2018-05-30T06:40:01Z
Diffstat (limited to 'das-labor.txt')
-rw-r--r-- | das-labor.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/das-labor.txt b/das-labor.txt index b43d5fb77ec8..205c10f65e9f 100644 --- a/das-labor.txt +++ b/das-labor.txt @@ -21,7 +21,7 @@ Already up to date. * Sync succeeded $ git log --format=%ci -1 $ git show -q --pretty=format:%G? HEAD -$ pmaint regen --use-local-desc --pkg-desc-index -t 4 das-labor +$ pmaint regen --use-local-desc --pkg-desc-index -t 1 das-labor WARNING:pkgcore:'genthree' repo at '/var/lib/repo-mirror-ci/repos/genthree' has unsupported profile format: profile-bashrcs WARNING:pkgcore:'xelnor' repo at '/var/lib/repo-mirror-ci/repos/xelnor' has unsupported profile format: build-id WARNING:pkgcore:'xelnor' repo at '/var/lib/repo-mirror-ci/repos/xelnor' has unsupported profile format: build-id |