diff options
Diffstat (limited to 'gnustep.txt')
-rw-r--r-- | gnustep.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnustep.txt b/gnustep.txt index 8362b4140d27..a518b7444b1e 100644 --- a/gnustep.txt +++ b/gnustep.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 gnustep +$ pmaint regen --use-local-desc --pkg-desc-index -t 32 gnustep * Cache regenerated successfully |