From 9aae4c1e29224a98c1d7ccedf77ed9aa24f7c6cb Mon Sep 17 00:00:00 2001
From: Lucas Schwiderski <lucas@lschwiderski.de>
Date: Tue, 7 Nov 2023 15:47:38 +0100
Subject: [PATCH] Fix CI build task

---
 .ci/Dockerfile.linux | 2 +-
 .ci/tasks/build.sh   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.ci/Dockerfile.linux b/.ci/Dockerfile.linux
index f8b8567..a8124b1 100644
--- a/.ci/Dockerfile.linux
+++ b/.ci/Dockerfile.linux
@@ -28,6 +28,6 @@ RUN cargo build --release --locked
 RUN rm -r crates lib
 
 COPY . /src/dtmt
-COPY --from=dtmt-ci-base-linux /src/*.lib /src/dtmt/lib/oodle/
+COPY --from=dtmt-ci-base-linux /src/*.lib /src/*.so /src/dtmt/lib/oodle/
 
 RUN cargo build --release --locked
diff --git a/.ci/tasks/build.sh b/.ci/tasks/build.sh
index fd74937..8db0e69 100755
--- a/.ci/tasks/build.sh
+++ b/.ci/tasks/build.sh
@@ -4,7 +4,7 @@ set -eux
 
 case "$TARGET" in
     msvc)
-        cp /src/*.lib ./lib/oodle/
+        cp /src/*.lib /src/*.so ./lib/oodle/
         cargo build --color always --locked --release --target x86_64-pc-windows-msvc -Zbuild-std
 
         if [ -d "$OUTPUT" ]; then