diff options
| author | Michael Niedermayer <michael@niedermayer.cc> | 2025-05-14 12:55:09 +0200 |
|---|---|---|
| committer | Michael Niedermayer <michael@niedermayer.cc> | 2025-05-15 12:17:04 +0200 |
| commit | 12b853530a6844a5aedcbd38e97a8621cf4d2f10 (patch) | |
| tree | d99b6679cfd1f3617fd130988da45b48c56d6db3 | |
| parent | 23592f942db93776dab65a5e92400bb2f037390e (diff) | |
| download | ffmpeg-12b853530a6844a5aedcbd38e97a8621cf4d2f10.tar.gz | |
Add tools/merge-all-source-plugins
Simple script to merge all source plugins.
Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>
| -rw-r--r-- | INSTALL.md | 3 | ||||
| -rw-r--r-- | tools/merge-all-source-plugins | 3 |
2 files changed, 6 insertions, 0 deletions
diff --git a/INSTALL.md b/INSTALL.md index bdf5814014..0de204cef5 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -1,5 +1,8 @@ ## Installing FFmpeg +0. If you like to include source plugins, merge them before configure +for example run tools/merge-all-source-plugins + 1. Type `./configure` to create the configuration. A list of configure options is printed by running `configure --help`. diff --git a/tools/merge-all-source-plugins b/tools/merge-all-source-plugins new file mode 100644 index 0000000000..20764a0773 --- /dev/null +++ b/tools/merge-all-source-plugins @@ -0,0 +1,3 @@ +#!/bin/sh + +git pull --no-rebase --log --stat --commit --no-edit https://github.com/michaelni/FFmpeg.git sourceplugin-libpostproc |