diff --git a/make.sh b/make.sh index 39364a619..4d0b2d2d4 100755 --- a/make.sh +++ b/make.sh @@ -1,6 +1,5 @@ #!/bin/sh set -eu - if [ ! -e "$(dirname "$0")/ci/sub/.git" ]; then set -x git submodule update --init