LUCENE-9206: add forbidden api exclusion to new class

This commit is contained in:
Robert Muir 2020-02-05 20:29:59 -05:00
parent bc5f837344
commit 196ec5f4a8
No known key found for this signature in database
GPG Key ID: 817AE1DD322D7ECA
1 changed files with 1 additions and 0 deletions

View File

@ -45,6 +45,7 @@ public class IndexMergeTool {
" to execute only the merges according to the merge policy.\n" +
" -verbose print additional details.\n";
@SuppressForbidden(reason = "System.err required (verbose mode): command line tool")
static class Options {
String mergedIndexPath;
String indexPaths[];