# HG changeset patch
# User cboesch
# Date 1297874153 0
# Node ID 096818ca3aa08559f3f3b3542fd860571c5fb74c
# Parent  deebe1cc372928fe403270a782c85a28f0792242
Git clone options are after the 'clone' keyword

diff -r deebe1cc3729 -r 096818ca3aa0 configure
--- a/configure	Wed Feb 16 15:56:54 2011 +0000
+++ b/configure	Wed Feb 16 16:35:53 2011 +0000
@@ -50,7 +50,7 @@
 if ! test -e ffmpeg ; then
   echo "No FFmpeg checkout, press enter to download one with git or CTRL+C to abort"
   read tmp
-  if ! git --depth 1 clone git://git.videolan.org/ffmpeg.git ffmpeg ; then
+  if ! git clone --depth 1 git://git.videolan.org/ffmpeg.git ffmpeg ; then
     rm -rf ffmpeg
     echo "Failed to get a FFmpeg checkout"
     exit 1