build: make a deeper clone of gnulib (when building from git)

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 <felix@piedallu.me>
This commit is contained in:
Benno Schulenberg 2020-06-17 12:17:22 +02:00
parent c35c5af5d8
commit 2770ec81e2

View File

@ -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)