From 2770ec81e2a543f3924027cac9db87773c73afcf Mon Sep 17 00:00:00 2001 From: Benno Schulenberg Date: Wed, 17 Jun 2020 12:17:22 +0200 Subject: [PATCH] build: make a deeper clone of gnulib (when building from git) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit This increases the chances that the wanted hash will be present in the checkout when we haven't changed the hash for a few months. Reported-by: Félix Piédallu --- autogen.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/autogen.sh b/autogen.sh index 8c999276..b1f28f12 100755 --- a/autogen.sh +++ b/autogen.sh @@ -30,7 +30,7 @@ modules=" # Make sure the local gnulib git repo is up-to-date. if [ ! -d "gnulib" ]; then - git clone --depth=123 ${gnulib_url} + git clone --depth=1111 ${gnulib_url} fi cd gnulib >/dev/null || exit 1 curr_hash=$(git log -1 --format=%H)