Skip to content

Instantly share code, notes, and snippets.

@ohookins
Created September 28, 2012 17:25
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save ohookins/3801133 to your computer and use it in GitHub Desktop.
Save ohookins/3801133 to your computer and use it in GitHub Desktop.
mplayer homebrew build diff for HEAD
diff -ruN mplayer.orig/configure mplayer/configure
--- mplayer.orig/configure 2012-09-28 16:12:45.000000000 +0200
+++ mplayer/configure 2012-09-28 16:13:10.000000000 +0200
@@ -48,8 +48,6 @@
fi
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 clone --depth 1 git://source.ffmpeg.org/ffmpeg.git ffmpeg ; then
rm -rf ffmpeg
echo "Failed to get a FFmpeg checkout"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment