[gcc(refs/users/ppalka/heads/libstdcxx-constrained-algos)] contrib/gcc_update: Insert "tformat:" for git log --pretty=tformat:%p:%t:%H

[Patrick Palka]

https://gcc.gnu.org/g:f17f6127f8e58c469bda21ec76f372bd2e1c70c0

commit f17f6127f8e58c469bda21ec76f372bd2e1c70c0
Author: Hans-Peter Nilsson <hp@axis.com>
Date:   Fri Jan 17 08:42:32 2020 +0100

    contrib/gcc_update: Insert "tformat:" for git log --pretty=tformat:%p:%t:%H
    
    Really old git versions (like 1.6.0) require
    "git log --pretty=tformat:%p:%t:%H"
    or else we see:
    
    Updating GIT tree
    Current branch master is up to date.
    fatal: invalid --pretty format: %p:%t:%H
    Adjusting file timestamps
    Touching gcc/config.in...
    Touching gcc/config/arm/arm-tune.md...
    
    ...and an empty revision in LAST_UPDATED and gcc/REVISION.
    In its absence, for newer git versions, "tformat" is the default
    qualifier, documented as such default for at least git-2.11.0.

Diff:
---
 contrib/ChangeLog  | 5 +++++
 contrib/gcc_update | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/contrib/ChangeLog b/contrib/ChangeLog
index 16d0667..4e89b8d 100644
--- a/contrib/ChangeLog
+++ b/contrib/ChangeLog
@@ -1,3 +1,8 @@
+2020-01-17  Hans-Peter Nilsson  <hp@axis.com>
+
+	* gcc_update <git revision>: Use git log "--pretty=tformat:%p:%t:%H",
+	not "--pretty=%p:%t:%H".
+
 2020-01-16  Andreas Schwab  <schwab@linux-m68k.org>
 
 	* gcc-git-customization.sh: Avoid double expansion.
diff --git a/contrib/gcc_update b/contrib/gcc_update
index 5df3297..8c980b1 100755
--- a/contrib/gcc_update
+++ b/contrib/gcc_update
@@ -330,7 +330,7 @@ case $vcs_type in
             exit 1
 	fi
 
-	revision=`$GCC_GIT log -n1 --pretty=%p:%t:%H`
+	revision=`$GCC_GIT log -n1 --pretty=tformat:%p:%t:%H`
 	branch=`$GCC_GIT name-rev --name-only HEAD || :`
 	;;