diff options
author | Eric Wong <e@80x24.org> | 2018-07-12 06:35:27 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2018-07-18 08:23:03 +0000 |
commit | 8f5147a8860908a7dc582310681f05c016cfbb30 (patch) | |
tree | 91239c0bd315ccd83f0849a9744383c1656c9e59 /script/public-inbox-index | |
parent | 9ec600316145da85d1ae5644ffaa1acd72b6b177 (diff) | |
download | public-inbox-8f5147a8860908a7dc582310681f05c016cfbb30.tar.gz |
We subtract one from "jobs" to map to "partitions" to account for the overview index and git fast-import jobs.
Diffstat (limited to 'script/public-inbox-index')
-rwxr-xr-x | script/public-inbox-index | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script/public-inbox-index b/script/public-inbox-index index 2a7a524b..e487e3fe 100755 --- a/script/public-inbox-index +++ b/script/public-inbox-index @@ -109,7 +109,7 @@ sub index_dir { $v2w->{parallel} = 0; } else { my $n = $v2w->{partitions}; - if ($jobs != $n) { + if ($jobs != ($n + 1)) { warn "Unable to respect --jobs=$jobs, inbox was created with $n partitions\n"; } |