diff options
Diffstat (limited to 'docker/dockerbuild.sh')
| -rwxr-xr-x | docker/dockerbuild.sh | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/docker/dockerbuild.sh b/docker/dockerbuild.sh index add31c5..00b2250 100755 --- a/docker/dockerbuild.sh +++ b/docker/dockerbuild.sh @@ -4,13 +4,16 @@ set -Eeuo pipefail sudo pacman -Sy cd /home/build -git clone --depth=3 https://github.com/kunoisayami/repos +if [ ! -d repos ]; then + git clone --depth=3 https://github.com/kunoisayami/repos -pushd repos -git checkout "$CHECKOUT_BRANCH" -git fetch --recurse-submodules -j2 -git submodule update --init -popd + + pushd repos + git checkout "$CHECKOUT_BRANCH" + git fetch --recurse-submodules -j2 + git submodule update --init + popd +fi export DOCKER_SETUP_SCRIPT=1 |
