cinelerra-5.1/thirdparty/src/ffmpeg-4.2.patch0

   1 diff -ru a/fftools/cmdutils.c b/fftools/cmdutils.c
   2 --- a/fftools/cmdutils.c        2019-07-08 11:45:25.000000000 -0600
   3 +++ b/fftools/cmdutils.c        2019-08-08 17:19:36.357374727 -0600
   4 @@ -1179,6 +1179,7 @@
   5
   6  void show_banner(int argc, char **argv, const OptionDef *options)
   7  {
   8 +    return;
   9      int idx = locate_option(argc, argv, options, "version");
  10      if (hide_banner || idx)
  11          return;