Missing -r

smithy-lang · Aug 21, 2024 · 58ffb77 · 58ffb77
1 parent 715d017
commit 58ffb77
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/actions/build_dafny_from_source/action.yml b/.github/actions/build_dafny_from_source/action.yml
@@ -60,4 +60,4 @@ runs:
       shell: bash
       run: |
         rm -rf TestModels/dafny-dependencies/dafny_runtime_rust
-        cp dafny/Source/DafnyRuntime/DafnyRuntimeRust TestModels/dafny-dependencies/dafny_runtime_rust
+        cp -r dafny/Source/DafnyRuntime/DafnyRuntimeRust TestModels/dafny-dependencies/dafny_runtime_rust