1
0
mirror of https://github.com/FFmpeg/FFmpeg.git synced 2024-12-23 12:43:46 +02:00

fate.sh: Allow non-fast-forwards when updating sources

This commit is contained in:
Diego Biurrun 2013-10-25 15:21:44 +02:00
parent c872d310cd
commit 9510d7689e

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
)