1
0
mirror of https://github.com/FFmpeg/FFmpeg.git synced 2025-08-15 14:13:16 +02:00

Merge commit '8caadfc53ddc55a269722ada65294f0ea8b609ac'

* commit '8caadfc53ddc55a269722ada65294f0ea8b609ac':
  fate: Be silent when switching to Git branch

Merged-by: Derek Buitenhuis <derek.buitenhuis@gmail.com>
This commit is contained in:
Derek Buitenhuis
2016-02-24 18:25:27 +00:00

View File

@@ -37,7 +37,7 @@ checkout(){
update()( update()(
cd ${src} || return cd ${src} || return
case "$repo" in case "$repo" in
git:*) git fetch --force && git reset --hard "origin/$branch" ;; git:*) git fetch --force && git reset --quiet --hard "origin/$branch" ;;
esac esac
) )