From 72dfbf708f328f6c236176daba78d536fde5a425 Mon Sep 17 00:00:00 2001 From: Anmol Sethi Date: Sun, 18 Dec 2022 12:41:22 -0800 Subject: [PATCH] ci/release/build.sh: Automatically clone ci submodule --- ci/release/build.sh | 7 ++++++- make.sh | 2 +- 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/ci/release/build.sh b/ci/release/build.sh index 82da752e3..82f930a51 100755 --- a/ci/release/build.sh +++ b/ci/release/build.sh @@ -1,7 +1,12 @@ #!/bin/sh set -eu +if [ ! -e "$(dirname "$0")/../../ci/sub/.git" ]; then + set -x + git submodule update --init + set +x +fi +. "$(dirname "$0")/../../ci/sub/lib.sh" cd -- "$(dirname "$0")/../.." -. ./ci/sub/lib.sh help() { cat <