From fe61f673dfdba1598842b9d56a761c5229aaf4e9 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Wed, 30 Oct 2019 16:10:40 +0100
Subject: make: guard cp calls with rm -f on executables

Fix #10728
---
 Makefile.checker | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.checker')

diff --git a/Makefile.checker b/Makefile.checker
index 5c55ccf489..90c73a496d 100644
--- a/Makefile.checker
+++ b/Makefile.checker
@@ -43,7 +43,7 @@ checker/check.cmxa $(LIBCOQRUN) checker/coqchk.mli checker/coqchk.ml
 	$(CODESIGN_HIDE) $@
 else
 $(CHICKEN): $(CHICKENBYTE)
-	cp $< $@
+	rm -f $@ && cp $< $@
 endif
 
 $(CHICKENBYTE): config/config.cma clib/clib.cma lib/lib.cma kernel/kernel.cma \
-- 
cgit v1.2.3