[FFmpeg-devel] [PATCH] configure: remove git url check
Lukasz Marek
lukasz.m.luki at gmail.com
Mon Dec 9 01:40:03 CET 2013
This part of the script doesn't check if git command is available and produce error if not.
It is 2 years since address changed and it is more reasonable to remove it than fix it.
Signed-off-by: Lukasz Marek <lukasz.m.luki at gmail.com>
---
configure | 23 -----------------------
1 file changed, 23 deletions(-)
diff --git a/configure b/configure
index 31b98d4..15bdf67 100755
--- a/configure
+++ b/configure
@@ -5102,26 +5102,3 @@ pkgconfig_generate libpostproc "FFmpeg postprocessing library" "$LIBPOS
pkgconfig_generate libavresample "Libav audio resampling library" "$LIBAVRESAMPLE_VERSION" "$extralibs" "libavutil${build_suffix} = $LIBAVUTIL_VERSION"
pkgconfig_generate libswscale "FFmpeg image rescaling library" "$LIBSWSCALE_VERSION" "$LIBM" "libavutil${build_suffix} = $LIBAVUTIL_VERSION"
pkgconfig_generate libswresample "FFmpeg audio resampling library" "$LIBSWRESAMPLE_VERSION" "$LIBM" "libavutil${build_suffix} = $LIBAVUTIL_VERSION"
-
-fix_ffmpeg_remote(){
- git_remote_from=$1
- git_remote_to=$2
- fixme_remote=$(git --git-dir=$source_path/.git --work-tree=$source_path 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
--
1.8.3.2
More information about the ffmpeg-devel
mailing list