diff options
| author | Michael Niedermayer <michael@niedermayer.cc> | 2025-05-15 15:46:35 +0200 |
|---|---|---|
| committer | Michael Niedermayer <michael@niedermayer.cc> | 2025-05-15 16:19:59 +0200 |
| commit | f51c385a8e643ee12eb6be160e2fa4b5ae57a50b (patch) | |
| tree | 40e4d41da93541ebdb7ae632a0f6a76635bf08dc /tools/merge-all-source-plugins | |
| parent | a06b86a09b23c4efc61653f2d526e1d8a803eef2 (diff) | |
| download | ffmpeg-f51c385a8e643ee12eb6be160e2fa4b5ae57a50b.tar.gz | |
tools/merge-all-source-plugins: Check that there are no uncommited changes
Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>
Diffstat (limited to 'tools/merge-all-source-plugins')
| -rwxr-xr-x | tools/merge-all-source-plugins | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tools/merge-all-source-plugins b/tools/merge-all-source-plugins index 4dbfa89872..536e1664a4 100755 --- a/tools/merge-all-source-plugins +++ b/tools/merge-all-source-plugins @@ -18,6 +18,17 @@ merge(){ # $1=repository, $2=refspec suceeded="$suceeded $2" } +error(){ + echo $1 + exit 1 +} + +git diff --exit-code >/dev/null ||\ + error "Please commit local changes first" + +git diff --cached --exit-code >/dev/null ||\ + error "Please commit local changes first" + #version="12.34" merge "https://github.com/michaelni/FFmpeg.git" "libpostproc" |