diff options
-rwxr-xr-x | script/public-inbox-index | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/script/public-inbox-index b/script/public-inbox-index index c68f9224..0fdfddc0 100755 --- a/script/public-inbox-index +++ b/script/public-inbox-index @@ -84,8 +84,10 @@ for my $ei_name (@$update_extindex) { } else { die "extindex `$ei_name' not configured or found\n"; } + my $o = { %$opt }; + delete $o->{indexlevel} if ($o->{indexlevel}//'') eq 'basic'; $eidx_seen{$topdir} //= - push(@eidx, PublicInbox::ExtSearchIdx->new($topdir, $opt)); + push(@eidx, PublicInbox::ExtSearchIdx->new($topdir, $o)); } my $mods = {}; my @eidx_unconfigured; |