1 files changed, 8 insertions, 3 deletions

diff --git a/Makefile b/Makefile
index 7047e81..37f8428 100644
--- a/Makefile
+++ b/Makefile
@@ -31,10 +31,15 @@ clean:
 	rm -f src/*.o include/*.o
 
 native: CFLAGS += $(NATIVE_FLAGS)
-native: clean ctlm cttei geminict selfplay
+native: clean ctlm cttei geminict
 
-selfplay: CFLAGS += $(NATIVE_FLAGS)
-selfplay: src/selfplay.o $(OBJS)
+.PHONY: selfplay
+selfplay:
+	$(MAKE) clean
+	$(MAKE) DEFINES=-DRECORD_PV selfplay-bin
+
+selfplay-bin: CFLAGS += $(NATIVE_FLAGS)
+selfplay-bin: src/selfplay.o $(OBJS)
 	$(CC) $(CFLAGS) src/selfplay.o $(OBJS) -o selfplay
 
 match: CFLAGS += $(NATIVE_FLAGS)