History

tools/merge-all-source-plugins: Check that there are no uncommited changes

Michael Niedermayer committed 1 year ago

Commit f51c3851 parent a06b86a1 file · +11 −0Browse files

Unified · Split

tools/merge-all-source-plugins+11−0
@@ -18,6 +18,17 @@ merge(){ # $1=repository, $2=refspec · 17 unmodified lines
18 suceeded="$suceeded $2"18 suceeded="$suceeded $2"
19}19}
20 20
21error(){
22 echo $1
23 exit 1
24}
25
26git diff --exit-code >/dev/null ||\
27 error "Please commit local changes first"
28
29git diff --cached --exit-code >/dev/null ||\
30 error "Please commit local changes first"
31
21#version="12.34"32#version="12.34"
22 33
23merge "https://github.com/michaelni/FFmpeg.git" "libpostproc"34merge "https://github.com/michaelni/FFmpeg.git" "libpostproc"

Keyboard shortcuts

General

Show keyboard shortcuts
?
Focus the current search
/

Issues and pull requests

Open filters
f

Issues, pull requests and Inbox

Select next item
j↓
Select previous item
k↑
Open selected item
Enter
Dismiss filters or clear selection
Esc

Repository code

Go to file
t