Closed marcin-rzeznicki closed 6 months ago
make build does the same thing as make (pgo build)
make build
make
https://github.com/Matthies/RubiChess/blob/3b469d3fd511472825652c3ad2127f9f1634638c/src/Makefile#L343
However, it is supposed to do something else
@echo "build standard build (use if profile-build fails for some reason)"
Thanks for the report. This problem should be fixed with #449 I will delay the merge of this PR to master until TCEC checkout for next tournament has been done.
Thank you!
Fixed with #449
make build
does the same thing asmake
(pgo build)https://github.com/Matthies/RubiChess/blob/3b469d3fd511472825652c3ad2127f9f1634638c/src/Makefile#L343
However, it is supposed to do something else