Don't ignore unknown options, don't execute the command instead.

This commit is contained in:
Tomasz Sobczyk
2021-05-17 11:35:36 +02:00
parent 201d324187
commit ddcfaa06fa
3 changed files with 18 additions and 2 deletions

View File

@@ -896,7 +896,10 @@ namespace Stockfish::Tools
params.ensure_quiet = true;
}
else
cout << "ERROR: Ignoring unknown option " << token << endl;
{
cout << "ERROR: Unknown option " << token << ". Exiting...\n";
return;
}
}
if (!sfen_format.empty())