- // Make random number generation less deterministic, for book moves
- int i = abs(get_system_time() % 10000);
- for(int j = 0; j < i; j++)
- genrand_int32();
-
- // Process command line arguments
- if(argc >= 2) {
- if(std::string(argv[1]) == "bench") {
- if(argc != 4) {
- std::cout << "Usage: glaurung bench <hash> <threads>" << std::endl;
- exit(0);
- }
- benchmark(std::string(argv[2]), std::string(argv[3]));
- return 0;
- }
- }
+#ifdef USE_CALLGRIND
+ CALLGRIND_START_INSTRUMENTATION;
+#endif
+
+ if (argc <= 1)
+ {
+ // Print copyright notice
+ cout << engine_name()
+ << " by Tord Romstad, Marco Costalba, Joona Kiiski" << endl;