This commit enables a mixed bench, to improve CI and allow for PGO (profile-build...

[stockfish] / src / Makefile

diff --git a/src/Makefile b/src/Makefile
index e34fbf615e1924f23ff26c8fdd39a3b456d1ab05..c00b60b5a56abfc6737689a1e2c2604719853f5a 100644 (file)
--- a/src/Makefile
+++ b/src/Makefile
@@ -569,7 +569,7 @@ help:
 build: config-sanity
        $(MAKE) ARCH=$(ARCH) COMP=$(COMP) all
 
-profile-build: config-sanity objclean profileclean
+profile-build: config-sanity objclean profileclean net
        @echo ""
        @echo "Step 1/4. Building instrumented executable ..."
        $(MAKE) ARCH=$(ARCH) COMP=$(COMP) $(profile_make)