changeset 36038:777ccea2828d

Print a message before fetching a new FFmpeg version.
author reimar
date Mon, 01 Apr 2013 18:12:48 +0000
parents e31753d84084
children 826e7d2dcd7e
files configure
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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"