diff options
Diffstat (limited to 'openclonk.txt')
| -rw-r--r-- | openclonk.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/openclonk.txt b/openclonk.txt index 27f964d2537d..90e43e59111d 100644 --- a/openclonk.txt +++ b/openclonk.txt @@ -31,5 +31,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 openclonk +$ pmaint regen --use-local-desc --pkg-desc-index -t 32 openclonk * Cache regenerated successfully |