jellyfin/jellyfin-media-player
1
0
Fork 0
mirror of https://github.com/jellyfin/jellyfin-media-player.git synced 2025-02-17 04:17:44 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fix include naming issue.

Browse Source
This commit is contained in:
Ian Walton 2023-02-12 17:26:50 -05:00
parent 698454be6d
commit 3edd0340b4
1 changed files with 0 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.github/workflows/main.yml vendored
View File

@ -58,9 +58,6 @@ jobs:
mv ninja.exe build/
curl -L https://sourceforge.net/projects/mpv-player-windows/files/libmpv/mpv-dev-x86_64-v3-20230205-git-e439ddc.7z/download > mpv.7z
7z x mpv.7z
mv include mpv
mkdir include
mv mpv include
mkdir mpv
mv include mpv
mv libmpv-2.dll mpv/mpv.dll
@ -103,9 +100,6 @@ jobs:
mv ninja.exe build/
curl -L https://sourceforge.net/projects/mpv-player-windows/files/libmpv/mpv-dev-x86_64-20230205-git-e439ddc.7z/download > mpv.7z
7z x mpv.7z
mv include mpv
mkdir include
mv mpv include
mkdir mpv
mv include mpv
mv libmpv-2.dll mpv/mpv.dll