From d6c42b7dd159211b841613bc98d037c4c5a2c176 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Basile=20Cl=C3=A9ment?= Date: Wed, 3 Jan 2024 15:40:41 +0100 Subject: [PATCH] Copy the ocp-checker binary even if one already exists No more "cp: cannot create regular file 'ocp-checker': Permission denied". --- rsc/extra/ocpchecker/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rsc/extra/ocpchecker/Makefile b/rsc/extra/ocpchecker/Makefile index 39e2caa46..a804a9717 100644 --- a/rsc/extra/ocpchecker/Makefile +++ b/rsc/extra/ocpchecker/Makefile @@ -1,7 +1,7 @@ bin: @dune build ocp_checker.exe - @cp ../../../_build/default/rsc/extra/ocpchecker/ocp_checker.exe ocp-checker + @cp -f ../../../_build/default/rsc/extra/ocpchecker/ocp_checker.exe ocp-checker clean: rm -f ocp-checker