1
0
mirror of https://github.com/FFmpeg/FFmpeg.git synced 2025-08-10 06:10:52 +02:00

Merge commit '9510d7689e236f6a4748795604fba427c130d0ad'

* commit '9510d7689e236f6a4748795604fba427c130d0ad':
  fate.sh: Allow non-fast-forwards when updating sources

Merged-by: Michael Niedermayer <michaelni@gmx.at>
This commit is contained in:
Michael Niedermayer
2013-10-29 21:45:18 +01:00

View File

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