changeset 28017:f6b390541a37 stable

fetch upstream gnulib changes using `git fetch` * bootstrap: Fetch upstream gnulib changes using `git fetch`.
author Mike Miller <mtmiller@octave.org>
date Mon, 27 Jan 2020 09:53:17 -0800
parents 717e3780805c
children c45a0d7e9385 eb46a9f47164
files bootstrap
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/bootstrap	Mon Jan 27 10:02:41 2020 -0500
+++ b/bootstrap	Mon Jan 27 09:53:17 2020 -0800
@@ -674,7 +674,7 @@
     elif test -n "$GNULIB_REVISION" \
          && ! git --git-dir="$gnulib_path"/.git cat-file \
               commit "$GNULIB_REVISION"; then
-      git --git-dir="$gnulib_path"/.git pull
+      git --git-dir="$gnulib_path"/.git fetch
     fi
     GNULIB_SRCDIR=$gnulib_path
     ;;