fix #17325 unrbreak CI i386 (#17327)

This commit is contained in:
Timothee Cour 2021-03-10 19:35:20 -08:00 • committed by GitHub
commit ddc5f8fbcf
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 46 additions and 25 deletions

8
ci/funs.sh Normal file
View file

@ -0,0 +1,8 @@
# utilities used in CI pipelines to avoid duplication.
echo_run () {
# echo's a command before running it, which helps understanding logs
echo ""
echo "$@"
"$@"
}