Reduce delta

This commit is contained in:
Yehuda Katz 2023-03-01 12:23:03 -08:00
parent 1712b5d813
commit 07b34118f1
No known key found for this signature in database
GPG key ID: 058C8C4EB1B1A088

View file

@ -1,6 +1,5 @@
#!/bin/sh #!/bin/sh
set -eu set -eu
if [ ! -e "$(dirname "$0")/ci/sub/.git" ]; then if [ ! -e "$(dirname "$0")/ci/sub/.git" ]; then
set -x set -x
git submodule update --init git submodule update --init