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