diff options
Diffstat (limited to 'script.it/dune')
| -rwxr-xr-x | script.it/dune | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/script.it/dune b/script.it/dune index bb5ca5f..db5ba3f 100755 --- a/script.it/dune +++ b/script.it/dune @@ -28,7 +28,7 @@ (rule (targets script.js) (deps script.bc.js) - (action (run cp %{deps} %{targets}))) + (action (copy %{deps} %{targets}))) (executable (name worker) @@ -48,4 +48,4 @@ (rule (targets worker.js) (deps worker.bc.js) - (action (run cp %{deps} %{targets}))) + (action (copy %{deps} %{targets}))) |