From: <sv...@op...> - 2024-07-16 13:02:05
|
Author: manx Date: Tue Jul 16 15:01:53 2024 New Revision: 21191 URL: https://source.openmpt.org/browse/openmpt/?op=revision&rev=21191 Log: [Imp] build: download_externals: Support wget in addition to curl. Modified: trunk/OpenMPT/build/download_externals.sh Modified: trunk/OpenMPT/build/download_externals.sh ============================================================================== --- trunk/OpenMPT/build/download_externals.sh Mon Jul 15 22:55:45 2024 (r21190) +++ trunk/OpenMPT/build/download_externals.sh Tue Jul 16 15:01:53 2024 (r21191) @@ -34,7 +34,11 @@ URL="$(echo ""$1"" | sed 's/ /%20/g')" if [ ! -f "$MPT_GET_FILE_NAME" ]; then echo "Downloading '$MPT_GET_FILE_NAME' from '$URL' ..." - curl --location -o "$MPT_GET_FILE_NAME" "$URL" || true + if command -v curl &> /dev/null ; then + curl --location -o "$MPT_GET_FILE_NAME" "$URL" || true + elif command -v wget &> /dev/null ; then + wget -O "$MPT_GET_FILE_NAME" "$URL" || true + fi echo "Verifying '$URL' ..." if [ -f "$MPT_GET_FILE_NAME" ]; then FILE_SIZE=$(find "$MPT_GET_FILE_NAME" -printf '%s') |