On 2024-04-24 22:26 +0200, Timo Rothenpieler wrote:
> On 24.04.2024 22:12, Alexander Strasser via ffmpeg-devel wrote:
> > On 2024-04-24 22:01 +0200, Timo Rothenpieler wrote:
> > > ---
> > > tests/fate.sh | 4 ++--
> > > 1 file changed, 2 insertions(+), 2 deletions(-)
> > >
> > > diff --git a/tests/fate.sh b/tests/fate.sh
> > > index c5ee18de80..4081e865ae 100755
> > > --- a/tests/fate.sh
> > > +++ b/tests/fate.sh
> > > @@ -30,14 +30,14 @@ lock(){
> > > checkout(){
> > > case "$repo" in
> > > file:*|/*) src="${repo#file:}" ;;
> > > - git:*) git clone --quiet --branch "$branch" "$repo" "$src" ;;
> > > + git:*|https:*) git clone --quiet --branch "$branch" "$repo"
> > > "$src" ;;
> > > esac
> > > }
> > >
> > > update()(
> > > cd ${src} || return
> > > case "$repo" in
> > > - git:*) git fetch --quiet --force && git reset --quiet --hard
> > > "origin/$branch" ;;
> > > + git:*|https:*) git fetch --quiet --force && git reset --quiet
> > > --hard "origin/$branch" ;;
> > > esac
> > > )
> >
>
> If you manually clone the repo, you can use whatever you like anyway, since
Sorry my initial wording was probably ambiguous.
I meant in the repo variable in a fate_config.sh
> it never actually uses the URL for anything after the initial clone.
The URL isn't used per se, but it's used to decide whether to
git fetch or not inside the call to update, isn't it?
Alexander
_______________________________________________
ffmpeg-devel mailing list
ffmpeg-devel@ffmpeg.org
https://ffmpeg.org/mailman/listinfo/ffmpeg-devel
To unsubscribe, visit link above, or email
ffmpeg-devel-requ...@ffmpeg.org with subject "unsubscribe".
