build-system: work around latest GitHub Action issue

This suddenly started. A couple of build would fail because the git submodule
checkout fails because of directory ownership issues. Hopefully this will fix
it.

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
This commit is contained in:
Dirk Hohndel 2022-04-12 19:40:25 -10:00
parent 795cf1bee2
commit 514edfec07
3 changed files with 6 additions and 0 deletions

View file

@ -34,6 +34,8 @@ jobs:
- name: build Subsurface - name: build Subsurface
run: | run: |
cd .. cd ..
git config --global --add safe.directory /__w/subsurface/subsurface
git config --global --add safe.directory /__w/subsurface/subsurface/libdivecomputer
bash -x subsurface/scripts/build.sh -desktop -build-with-webkit bash -x subsurface/scripts/build.sh -desktop -build-with-webkit
- name: test desktop build - name: test desktop build

View file

@ -41,6 +41,8 @@ jobs:
echo "building mobile" echo "building mobile"
git config --global user.email "ci@subsurface-divelog.org" git config --global user.email "ci@subsurface-divelog.org"
git config --global user.name "Subsurface CI" git config --global user.name "Subsurface CI"
git config --global --add safe.directory /__w/subsurface/subsurface
git config --global --add safe.directory /__w/subsurface/subsurface/libdivecomputer
cd .. cd ..
bash -e -x subsurface/scripts/build.sh -mobile bash -e -x subsurface/scripts/build.sh -mobile

View file

@ -41,6 +41,8 @@ jobs:
echo "building mobile" echo "building mobile"
git config --global user.email "ci@subsurface-divelog.org" git config --global user.email "ci@subsurface-divelog.org"
git config --global user.name "Subsurface CI" git config --global user.name "Subsurface CI"
git config --global --add safe.directory /__w/subsurface/subsurface
git config --global --add safe.directory /__w/subsurface/subsurface/libdivecomputer
cd .. cd ..
bash -e -x subsurface/scripts/build.sh -mobile bash -e -x subsurface/scripts/build.sh -mobile