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 <