1
0
mirror of https://github.com/blupi-games/planetblupi-dev synced 2024-12-30 13:55:36 +01:00

Fix output file name for pulseaudio sources

This commit is contained in:
Mathieu Schroeter 2017-12-15 10:19:58 +01:00
parent 32adc69388
commit bc41c7300b

View File

@ -103,7 +103,7 @@ if (UNIX AND NOT APPLE)
)
file (DOWNLOAD
https://freedesktop.org/software/pulseaudio/releases/pulseaudio-11.0.tar.xz
${CMAKE_CURRENT_SOURCE_DIR}/externals/pulseaudio.tar.gz
${CMAKE_CURRENT_SOURCE_DIR}/externals/pulseaudio.tar.xz
SHOW_PROGRESS
)
endif ()