changeset 35456:1a510ca3a047

Print some help on what to do if we cannot get a FFmpeg snapshot.
author reimar
date Sat, 01 Dec 2012 20:09:34 +0000
parents c9c79a011f6f
children f4991a47d0c8
files configure
diffstat 1 files changed, 4 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/configure	Sat Dec 01 19:18:47 2012 +0000
+++ b/configure	Sat Dec 01 20:09:34 2012 +0000
@@ -54,6 +54,10 @@
     if ! git clone --depth 1 git://source.ffmpeg.org/ffmpeg.git ffmpeg ; then
         rm -rf ffmpeg
         echo "Failed to get a FFmpeg checkout"
+        echo "Please try again or put FFmpeg source code copy into ffmpeg/ manually."
+        echo "Nightly snapshot: http://ffmpeg.org/releases/ffmpeg-snapshot.tar.bz2"
+        echo "To use a github mirror via http (e.g. because a firewall blocks git):"
+        echo "git clone --depth 1 https://github.com/FFmpeg/FFmpeg ffmpeg; touch ffmpeg/mp_auto_pull"
         exit 1
     fi
     touch ffmpeg/mp_auto_pull