diff --git a/build-aux/bootstrap b/build-aux/bootstrap index 8f76d6962..3a87e7f7e 100755 --- a/build-aux/bootstrap +++ b/build-aux/bootstrap @@ -670,6 +670,11 @@ if $use_gnulib; then || cleanup_gnulib trap - 1 2 13 15 + + elif test -n "$GNULIB_REVISION" \ + && ! git --git-dir="$gnulib_path"/.git cat-file \ + commit "$GNULIB_REVISION"; then + git --git-dir="$gnulib_path"/.git fetch fi GNULIB_SRCDIR=$gnulib_path ;;