diff options
author | Repository mirror & CI <repomirrorci@gentoo.org> | 2021-02-09 21:26:35 +0000 |
---|---|---|
committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2021-02-09 21:26:35 +0000 |
commit | 99a22af6595d353209471fa627f4700f19fcf287 (patch) | |
tree | 26a136d9ecd22f7a8dc8a0c58df5a7b2fa878984 /crossdev.txt | |
parent | 2021-02-09T18:30:01Z (diff) | |
download | repos-99a22af6595d353209471fa627f4700f19fcf287.tar.gz repos-99a22af6595d353209471fa627f4700f19fcf287.tar.bz2 repos-99a22af6595d353209471fa627f4700f19fcf287.zip |
2021-02-09T20:30:01Z
Diffstat (limited to 'crossdev.txt')
-rw-r--r-- | crossdev.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crossdev.txt b/crossdev.txt index 0e096c597ed9..430faf7d8584 100644 --- a/crossdev.txt +++ b/crossdev.txt @@ -29,5 +29,5 @@ 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 1 crossdev +$ pmaint regen --use-local-desc --pkg-desc-index -t 32 crossdev * Cache regenerated successfully |