From 07b34118f1d61c585109147279867b9076a380ba Mon Sep 17 00:00:00 2001 From: Yehuda Katz Date: Wed, 1 Mar 2023 12:23:03 -0800 Subject: [PATCH] Reduce delta --- make.sh | 1 - 1 file changed, 1 deletion(-) 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