Copy also folders

.ci/setup_dune

@@ -148,7 +148,7 @@ for module in $MODULES; do
       src="$PWD/$dname/$relf"
       dst="$PWD/$dname/$fname"
       echo "  - copying $src --> $dst"
-      cp $src $dst
+      cp -r $src $dst
     done
     cd ..
   fi