mirror of
https://git.ffmpeg.org/ffmpeg.git
synced 2024-12-25 00:32:31 +00:00
configure: Detect old git domain and inform the user about it.
Based on code by: Clément Bœsch <ubitux@gmail.com> Signed-off-by: Michael Niedermayer <michaelni@gmx.at>
This commit is contained in:
parent
168bc5f2c5
commit
161c6d1682
23
configure
vendored
23
configure
vendored
@ -4358,3 +4358,26 @@ pkgconfig_generate libpostproc "FFmpeg postprocessing library" "$LIBPOSTPROC_VER
|
||||
pkgconfig_generate libavresample "Libav audio resampling library" "$LIBAVRESAMPLE_VERSION" "$extralibs"
|
||||
pkgconfig_generate libswscale "FFmpeg image rescaling library" "$LIBSWSCALE_VERSION" "$LIBM" "libavutil = $LIBAVUTIL_VERSION"
|
||||
pkgconfig_generate libswresample "FFmpeg audio rescaling library" "$LIBSWRESAMPLE_VERSION" "$LIBM" "libavutil = $LIBAVUTIL_VERSION"
|
||||
|
||||
fix_ffmpeg_remote(){
|
||||
git_remote_from=$1
|
||||
git_remote_to=$2
|
||||
fixme_remote=$(git remote -v | grep $git_remote_from | cut -f 1 | sort | uniq)
|
||||
if [ "$fixme_remote" != "" ]; then
|
||||
echolog "
|
||||
Outdated domain in git config, the official domain for ffmpeg git is since
|
||||
November 2011, source.ffmpeg.org, both the old and the new point to the same
|
||||
repository and server. To update it enter the following commands:
|
||||
"
|
||||
for remote in $fixme_remote; do
|
||||
echolog "git remote set-url $remote $git_remote_to"
|
||||
done
|
||||
fi
|
||||
}
|
||||
|
||||
if test -f "$source_path/.git/config"; then
|
||||
remote_from=git.videolan.org
|
||||
remote_to=source.ffmpeg.org
|
||||
fix_ffmpeg_remote git@$remote_from:ffmpeg git@$remote_to:ffmpeg
|
||||
fix_ffmpeg_remote git://$remote_from/ffmpeg git://$remote_to/ffmpeg
|
||||
fi
|
||||
|
Loading…
Reference in New Issue
Block a user