depth: Use gameOptions.getSkillLevel if not Developer Mode
This commit is contained in:
parent
bb0c7851b2
commit
677a391124
|
@ -72,7 +72,6 @@
|
||||||
#define DEFAULT_RULE_NUMBER 1
|
#define DEFAULT_RULE_NUMBER 1
|
||||||
|
|
||||||
#define DEPTH_ADJUST (0)
|
#define DEPTH_ADJUST (0)
|
||||||
//#define FIX_DEPTH (25)
|
|
||||||
|
|
||||||
//#define NULL_MOVE
|
//#define NULL_MOVE
|
||||||
|
|
||||||
|
|
|
@ -428,9 +428,9 @@ void move_priority_list_shuffle()
|
||||||
|
|
||||||
Depth getSearchDepth(const Position *pos)
|
Depth getSearchDepth(const Position *pos)
|
||||||
{
|
{
|
||||||
#if defined(FIX_DEPTH)
|
if (!gameOptions.getDeveloperMode()) {
|
||||||
return FIX_DEPTH;
|
return gameOptions.getSkillLevel();
|
||||||
#endif
|
}
|
||||||
|
|
||||||
Depth d = 0;
|
Depth d = 0;
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue