1
0
Fork 0
mirror of https://github.com/mlocati/docker-php-extension-installer synced 2025-05-09 00:22:40 +00:00

Use a more stable source for libxdiff (#632)

This commit is contained in:
Michele Locati 2022-09-15 16:36:48 +02:00 committed by GitHub
parent 51711dcb45
commit bdd050d189
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -3390,7 +3390,7 @@ installRemoteModule() {
fi
fi
if ! test -f /usr/local/lib/libxdiff.* && ! test -f /usr/lib/libxdiff.* && ! test -f /usr/lib/x86_64*/libxdiff.*; then
installRemoteModule_src="$(getPackageSource http://www.xmailserver.org/libxdiff-0.23.tar.gz)"
installRemoteModule_src="$(getPackageSource https://raw.githubusercontent.com/mlocati/docker-php-extension-installer/assets/resources/libxdiff-0.23.tar.gz)"
cd -- "$installRemoteModule_src"
./configure --disable-shared --disable-dependency-tracking --with-pic
make -j$(getProcessorCount)