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

Merge commit 'c58f4069e1d5b5804c669b691510e1b8fabb67fc'

* commit 'c58f4069e1d5b5804c669b691510e1b8fabb67fc':
  fate.sh: Run git-clone quietly

Merged-by: Michael Niedermayer <michaelni@gmx.at>
This commit is contained in:
Michael Niedermayer 2013-09-11 12:31:43 +02:00
commit 24da9eb25d

View File

@ -28,7 +28,7 @@ lock(){
checkout(){ checkout(){
case "$repo" in case "$repo" in
file:*|/*) src="${repo#file:}" ;; file:*|/*) src="${repo#file:}" ;;
git:*) git clone "$repo" "$src" ;; git:*) git clone --quiet "$repo" "$src" ;;
esac esac
} }