diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -34,8 +34,10 @@ native: ctlm cttei geminict cand_a = $(word 1,$(subst -, ,$1)) cand_b = $(word 2,$(subst -, ,$1)) -.PHONY: selfplay-% -selfplay-%: +# .PHONY on the pattern alone does not force the recipe when the binary +# already exists; the FORCE prerequisite does +.PHONY: selfplay-% FORCE +selfplay-%: FORCE rm -f selfplay-% rm -f src/*.o include/negamax.o include/pv.o include/tt.o $(MAKE) SELFPLAY_OUT=$@ \ |
