# HG changeset patch
# User reimar
# Date 1364839968 0
# Node ID 777ccea2828d24e1664be754a41a6fa43ab644cf
# Parent  e31753d840844ab704fbcb08bf82b634afbff801
Print a message before fetching a new FFmpeg version.

diff -r e31753d84084 -r 777ccea2828d configure
--- a/configure	Mon Apr 01 08:33:45 2013 +0000
+++ b/configure	Mon Apr 01 18:12:48 2013 +0000
@@ -1497,6 +1497,7 @@
 fi
 
 if test -e ffmpeg/mp_auto_pull ; then
+    echo "Updating FFmpeg, (re)move ffmpeg/mp_auto_pull to disable"
     (cd ffmpeg && git checkout master)
     if ! (cd ffmpeg && git pull --rebase --ff-only) ; then
         echo "git pull failed, (re)move ffmpeg/mp_auto_pull to disable pulling"