1 files changed, 1 insertions, 1 deletions
diff --git a/ide/dune b/ide/dune
index 5714b1370e..aeb5424aff 100644
--- a/ide/dune
+++ b/ide/dune
@@ -35,7 +35,7 @@
 (rule
  (targets coqide_os_specific.ml)
  (deps (:in-file coqide_X11.ml.in)) ; TODO support others
- (action (run cp %{in-file} %{targets})))
+ (action (copy# %{in-file} %{targets})))
 
 (executable
  (name coqide_main)