chore: fix windows lib file

This commit is contained in:
kaichaosun 2025-12-18 21:27:17 +08:00
parent 5fbf4db255
commit 8392cc8bae
No known key found for this signature in database
GPG Key ID: 223E0F992F4F03BF

View File

@ -62,5 +62,9 @@ else
echo "Contents of target/release:"
ls -lh "${build_dir}/target/release"
cp "${build_dir}/target/release/librln.a" "${output_filename}"
if [[ "${output_filename}" == *.lib ]]; then
cp "${build_dir}/target/release/rln.lib" "${output_filename}"
else
cp "${build_dir}/target/release/librln.a" "${output_filename}"
fi
fi