From c34a2b1f42c11ca47a50ce86b864101d45ae58b4 Mon Sep 17 00:00:00 2001 From: Raymond Jay Golo Date: Mon, 5 Feb 2024 17:33:05 +0800 Subject: [PATCH] Use GitHub mirror instead of VideoLAN's for reliability. (#879) --- install-php-extensions | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/install-php-extensions b/install-php-extensions index 2cfa8a1..ef49a9a 100755 --- a/install-php-extensions +++ b/install-php-extensions @@ -2141,7 +2141,7 @@ isLibdav1dInstalled() { # Install libdav1d installLibdav1d() { printf 'Installing libdav1d\n' - installLibdav1d_dir="$(getPackageSource https://code.videolan.org/videolan/dav1d/-/archive/0.9.2/dav1d-0.9.2.tar.gz)" + installLibdav1d_dir="$(getPackageSource https://github.com/videolan/dav1d/archive/refs/tags/0.9.2.tar.gz)" mkdir -- "$installLibdav1d_dir/build" cd -- "$installLibdav1d_dir/build" meson --buildtype release -Dprefix=/usr ..