Subject: Re: [PATCH v2 5/5] ci: add support for GitLab CI

From: Oswald Buddenhagen <[email-masked]>
Date: Fri, 27 Oct 2023 13:01:35 +0200

On Fri, Oct 27, 2023 at 11:25:41AM +0200, Patrick Steinhardt wrote:
>+	export GIT_PROVE_OPTS="--timer --jobs $(nproc)"
>+	export GIT_TEST_OPTS="--verbose-log -x"
>
fwiw (as this is again only copied), export with assignment is a 
bash-ism (though (d)ash started to accept this syntax some time ago), 
and not all of the including scripts ask for bash (i didn't check 
whether they are using these functions, but the inconsistency is an 
armed trap).

regards