script/public-inbox-index | 4 +++- diff --git a/script/public-inbox-index b/script/public-inbox-index index c68f922447293bb0b43782e7795d57e9c7387ba0..0fdfddc06205cf63a64330ef3e5b375536d3674e 100755 --- a/script/public-inbox-index +++ b/script/public-inbox-index @@ -84,8 +84,10 @@ $topdir = $es->{topdir}; } 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;