Mercurial > octave
changeset 28019:c45a0d7e9385
maint: merge stable to default
| author | Mike Miller <mtmiller@octave.org> |
|---|---|
| date | Mon, 27 Jan 2020 10:34:00 -0800 |
| parents | 20a9b99d515c (current diff) f6b390541a37 (diff) |
| children | 8933b2985dd5 |
| files | bootstrap |
| diffstat | 1 files changed, 1 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/bootstrap Mon Jan 27 19:24:02 2020 +0100 +++ b/bootstrap Mon Jan 27 10:34:00 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 ;;