upgrade to ffmpeg 4.2, rework mask for speedup

[goodguy/cinelerra.git] / cinelerra-5.1 / thirdparty / src / ffmpeg-4.2.patch0

diff --git a/cinelerra-5.1/thirdparty/src/ffmpeg-4.1.4.patch0 b/cinelerra-5.1/thirdparty/src/ffmpeg-4.2.patch0
similarity index 55%
rename from cinelerra-5.1/thirdparty/src/ffmpeg-4.1.4.patch0
rename to cinelerra-5.1/thirdparty/src/ffmpeg-4.2.patch0
index 5dd311009d09ad9a8d97343f46589c8a15f72d46..1a2cacbe13e802ac00583555e91ba05fcd5d2a2c 100644 (file)
--- a/cinelerra-5.1/thirdparty/src/ffmpeg-4.1.4.patch0
+++ b/cinelerra-5.1/thirdparty/src/ffmpeg-4.2.patch0
@@ -1,6 +1,6 @@
-diff -urN a/fftools/cmdutils.c b/fftools/cmdutils.c
---- a/fftools/cmdutils.c       2018-10-01 10:52:48.866784675 -0600
-+++ b/fftools/cmdutils.c       2018-10-01 10:52:55.550799827 -0600
+diff -ru a/fftools/cmdutils.c b/fftools/cmdutils.c
+--- a/fftools/cmdutils.c       2019-07-08 11:45:25.000000000 -0600
++++ b/fftools/cmdutils.c       2019-08-08 17:19:36.357374727 -0600
 @@ -1179,6 +1179,7 @@
  
  void show_banner(int argc, char **argv, const OptionDef *options)