Mercurial > octave
changeset 28013:717e3780805c stable
update gnulib archive if requested changeset is not in the local archive
* bootstrap: Fetch updated gnulib sources from upstream if requested
changeset is not in the local archive.
author | Markus Mützel <markus.muetzel@gmx.de> |
---|---|
date | Mon, 27 Jan 2020 10:02:41 -0500 |
parents | ece72b94486f |
children | 0b67847e4f97 f6b390541a37 |
files | bootstrap |
diffstat | 1 files changed, 5 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- a/bootstrap Thu Jan 23 17:56:39 2020 -0500 +++ b/bootstrap Mon Jan 27 10:02:41 2020 -0500 @@ -670,6 +670,11 @@ || 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 pull fi GNULIB_SRCDIR=$gnulib_path ;;