# HG changeset patch
# User reimar
# Date 1354392574 0
# Node ID 1a510ca3a0470b03e5fde14d9f0507813d890b15
# Parent  c9c79a011f6fa6cfcab1e5252deba99b0a08ab63
Print some help on what to do if we cannot get a FFmpeg snapshot.

diff -r c9c79a011f6f -r 1a510ca3a047 configure
--- 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