blob: c118342a749f42a949db6fbec1401cf391d3aec8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
echo 'Creating brew-patch.diff'
cat << EOF >> brew-patch.diff
diff --git a/configure b/configure
index addc461..3b871aa 100755
--- a/configure
+++ b/configure
@@ -1517,8 +1517,6 @@ if test -e ffmpeg/mp_auto_pull ; then
fi
if test "$ffmpeg_a" != "no" && ! test -e ffmpeg ; then
- echo "No FFmpeg checkout, press enter to download one with git or CTRL+C to abort"
- read tmp
if ! git clone -b $FFBRANCH --depth 1 git://source.ffmpeg.org/ffmpeg.git ffmpeg ; then
rm -rf ffmpeg
echo "Failed to get a FFmpeg checkout"
EOF
|
