Merge branch 'master' into clusterMergeMaster11

fixes minor conflicts.
2026-05-20 12:07:43 +00:00 · 2020-09-17 19:17:37 +02:00
parent 19129473f2 8b8a510fd6
commit 5fcd0e6f2a
43 changed files with 1336 additions and 894 deletions
@@ -37,6 +37,7 @@ int main(int argc, char* argv[]) {
  if (Cluster::is_root())
      std::cout << engine_info() << std::endl;

+  CommandLine::init(argc, argv);
  UCI::init(Options);
  Tune::init();
  PSQT::init();